We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On Sahlqvist theory for hybrid logics.
- Authors
CONRADIE, WILLEM; ROBINSON, CLAUDETTE
- Abstract
We develop a Sahlqvist theory by introducing the class of hybrid inductive formulas. Each hybrid inductive formula is shown to have an effectively calculable first-order local frame correspondent. We define two subclasses, called the nominally skeletal and skeletal hybrid inductive formulas. We show that members of these subclasses are, respectively, preserved under canonical extensions and Dedekind-MacNeille completions of certain hybrid algebras, which is enough to ensure that these formulas axiomatize relationally complete logics. The key methodological tool in proving these results is a hybrid version of the ALBA algorithm, which we formulate and call hybrid-ALBA.
- Subjects
THEORY of knowledge; LOGIC; HYBRID systems; MATHEMATICAL formulas; ALGEBRA
- Publication
Journal of Logic & Computation, 2017, Vol 27, Issue 3, p867
- ISSN
0955-792X
- Publication type
Article
- DOI
10.1093/logcom/exv045