Results 1 
7 of
7
Canonical Varieties with No Canonical Axiomatisation
 Trans. Amer. Math. Soc
, 2003
"... We give a simple example of a variety V of modal algebras that is canonical but cannot be axiomatised by canonical equations or firstorder sentences. We then show that the variety RRA of representable relation algebras, although canonical, has no canonical axiomatisation. Indeed, we show that every ..."
Abstract

Cited by 12 (7 self)
 Add to MetaCart
We give a simple example of a variety V of modal algebras that is canonical but cannot be axiomatised by canonical equations or firstorder sentences. We then show that the variety RRA of representable relation algebras, although canonical, has no canonical axiomatisation. Indeed, we show that every axiomatisation of these varieties involves infinitely many noncanonical sentences. Using probabilistic methods...
Erdös Graphs Resolve Fine's Canonicity Problem
 The Bulletin of Symbolic Logic
, 2003
"... We show that there exist 2^ℵ0 equational classes of Boolean algebras with operators that are not generated by the complex algebras of any firstorder definable class of relational structures. Using a variant of this construction, we resolve a longstanding question of Fine, by exhibiting a b ..."
Abstract

Cited by 11 (8 self)
 Add to MetaCart
We show that there exist 2^ℵ0 equational classes of Boolean algebras with operators that are not generated by the complex algebras of any firstorder definable class of relational structures. Using a variant of this construction, we resolve a longstanding question of Fine, by exhibiting a bimodal logic that is valid in its canonical frames, but is not sound and complete for any firstorder definable class of Kripke frames. The constructions use the result of Erd os that there are finite graphs with arbitrarily large chromatic number and girth.
On canonical modal logics that are not elementarily determined. Logique et Analyse
, 2003
"... There exist modal logics that are validated by their canonical frames but are not sound and complete for any elementary class of frames. Continuum many such bimodal logics are exhibited, including one of each degree of unsolvability, and all with the finite model property. Monomodal examples are als ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
There exist modal logics that are validated by their canonical frames but are not sound and complete for any elementary class of frames. Continuum many such bimodal logics are exhibited, including one of each degree of unsolvability, and all with the finite model property. Monomodal examples are also constructed that extend K4 and are related to the proof of noncanonicity of the McKinsey axiom. We dedicate this paper to Max Cresswell, a pioneer in the study of canonicity, on the occasion of his 65th birthday. 1
Algebraic Polymodal Logic: A Survey
 LOGIC JOURNAL OF THE IGPL
, 2000
"... This is a review of those aspects of the theory of varieties of Boolean algebras with operators (BAO's) that emphasise connections with modal logic and structural properties that are related to natural properties of logical systems. It begins with ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
This is a review of those aspects of the theory of varieties of Boolean algebras with operators (BAO's) that emphasise connections with modal logic and structural properties that are related to natural properties of logical systems. It begins with
Canonical PseudoCorrespondence
 Advances in Modal Logic Volume 2
, 1998
"... Generalizing an example from Fine [1] and inspired by a theorem in J' onsson [4], we prove that any modal formula of the form ß(p q) $ ß(p) ß(q) (with ß(p) a positive formula) is canonical. We also prove that any such formula is strongly sound and complete with respect to an elementary class of fr ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Generalizing an example from Fine [1] and inspired by a theorem in J' onsson [4], we prove that any modal formula of the form ß(p q) $ ß(p) ß(q) (with ß(p) a positive formula) is canonical. We also prove that any such formula is strongly sound and complete with respect to an elementary class of frames, definable by a first order formula which can be read off from ß. 1 Introduction For quite a while now, modal logicians have been interested in the relation between first order logic and canonical modal formulas; recall that the latter are formulas that are valid on the underlying frame of the canonical model. Some very interesting connections have been discovered, but there are also some intriguing open problems. Examples of important results are Fine's Theorem (cf. [1]) that the modal logic of an elementary class of frames is canonical, and Sahlqvist's Theorem (cf. [6]) identifying a class of modal formulas each of which is canonical and corresponds to a first order formula which can...
5 MODEL THEORY OF MODAL LOGIC
"... 1.2 Kripke frames and structures................................... 4 1.3 The standard translations into first and secondorder logic.................. 5 1.4 Theories, equivalence and definability.............................. 6 1.5 Polyadic modalities........................................ 8 2 Bi ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
1.2 Kripke frames and structures................................... 4 1.3 The standard translations into first and secondorder logic.................. 5 1.4 Theories, equivalence and definability.............................. 6 1.5 Polyadic modalities........................................ 8 2 Bisimulation and basic model constructions.............................. 8