Results 1 -
5 of
5
Algebraic Polymodal Logic: A Survey
, 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. ..."
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.
5 MODEL THEORY OF MODAL LOGIC
"... 1.2 Kripke frames and structures................................... 4 1.3 The standard translations into first- and second-order 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 second-order logic.................. 5 1.4 Theories, equivalence and definability.............................. 6 1.5 Polyadic modalities........................................ 8 2 Bisimulation and basic model constructions.............................. 8
Logic Journal of the IGPL, Vol. 8, No. 4
, 2000
"... Algebraic Logic. In preparation. Manuscript. ..."
