Results 1  10
of
27
Interpolation in Modal Logic
, 1999
"... The interpolation property and Robinson's consistency property are important tools for applying logic to software engineering. We provide a uniform technique for proving the Interpolation Property, using the notion of bisimulation. For modal logics, this leads to simple, easytocheck condit ..."
Abstract

Cited by 94 (8 self)
 Add to MetaCart
The interpolation property and Robinson's consistency property are important tools for applying logic to software engineering. We provide a uniform technique for proving the Interpolation Property, using the notion of bisimulation. For modal logics, this leads to simple, easytocheck conditions on the logic which imply interpolation. We apply this result to fibering of modal logics and to modal logics of knowledge and belief.
Step by Step  Building Representations in Algebraic Logic
 Journal of Symbolic Logic
, 1995
"... We consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterised according to the outcome of certain games. The Lyndon conditions defini ..."
Abstract

Cited by 29 (16 self)
 Add to MetaCart
(Show Context)
We consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterised according to the outcome of certain games. The Lyndon conditions defining representable relation algebras (for the finite case) and a similar schema for cylindric algebras are derived. Countable relation algebras with homogeneous representations are characterised by first order formulas. Equivalence games are defined, and are used to establish whether an algebra is !categorical. We have a simple proof that the perfect extension of a representable relation algebra is completely representable. An important open problem from algebraic logic is addressed by devising another twoplayer game, and using it to derive equational axiomatisations for the classes of all representable relation algebras and representable cylindric algebras. Other instances of this ap...
Complete Representations in Algebraic Logic
 JOURNAL OF SYMBOLIC LOGIC
"... A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary. ..."
Abstract

Cited by 19 (8 self)
 Add to MetaCart
A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary.
Monotonic Modal Logics
, 2003
"... Monotonic modal logics form a generalization of normal modal logics... ..."
Abstract

Cited by 18 (0 self)
 Add to MetaCart
(Show Context)
Monotonic modal logics form a generalization of normal modal logics...
COMPLEXITY OF EQUATIONS VALID IN ALGEBRAS OF RELATIONS  Part II: Finite axiomatizations.
"... We study algebras whose elements are relations, and the operations are natural "manipulations" of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schroder (who expanded the Boolean tradition with extra operators to handle algebras of binary relations). Well ..."
Abstract

Cited by 17 (2 self)
 Add to MetaCart
We study algebras whose elements are relations, and the operations are natural "manipulations" of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schroder (who expanded the Boolean tradition with extra operators to handle algebras of binary relations). Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of nary relations, RPEAn of polyadic equality algebras of nary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: for every natural number k there is an equation in E containing more than k distinct variables and all the operation symbols, if 2 ! n ! !. Completely analogous statement holds for the case n !. This improves Monk's famous nonfinitizability theorem for which we give here a simple proof. We prove analogous nonfinitizability properties of the larger varieties SNrnCA n+k . We prove that the complementa...
A Note on Graded Modal Logic
 STUDIA LOGICA
, 2000
"... We introduce a notion of bisimulation for graded modal logic. Using these bisimulations the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing the finite model property, and proving invariance and definability results. ..."
Abstract

Cited by 13 (0 self)
 Add to MetaCart
We introduce a notion of bisimulation for graded modal logic. Using these bisimulations the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing the finite model property, and proving invariance and definability results.
A System of Dynamic Modal Logic
 TO APPEAR IN JOURNAL OF PHILOSOPHICAL LOGIC.
, 1998
"... ..."
(Show Context)
Beth Definability in the Guarded Fragment
, 1999
"... The guarded fragment (GF) was introduced in [1] as a fragment of first order logic which combines a great expressive power with nice modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. While GF has been established as a particul ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
The guarded fragment (GF) was introduced in [1] as a fragment of first order logic which combines a great expressive power with nice modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. While GF has been established as a particularly wellbehaved fragment of first order logic in many respects, interpolation fails in restriction to GF, [9]. In this paper we consider the Beth property of first order logic and show that, despite the failure of interpolation, it is retained in restriction to GF. The Beth property for GF is here established on the basis of a limited form of interpolation, which more closely resembles the interpolation property that is usually studied in modal logics. ¿From this we obtain that, more specifically, even every nvariable guarded fragment with up to nary
NEIGHBOURHOOD STRUCTURES: BISIMILARITY AND BASIC MODEL THEORY
, 2009
"... Neighbourhood structures are the standard semantic tool used to reason about nonnormal modal logics. The logic of all neighbourhood models is called classical modal logic. In coalgebraic terms, a neighbourhood frame is a coalgebra for the contravariant powerset functor composed with itself, denote ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
Neighbourhood structures are the standard semantic tool used to reason about nonnormal modal logics. The logic of all neighbourhood models is called classical modal logic. In coalgebraic terms, a neighbourhood frame is a coalgebra for the contravariant powerset functor composed with itself, denoted by 2 2. We use this coalgebraic modelling to derive notions of equivalence between neighbourhood structures. 2 2bisimilarity and behavioural equivalence are well known coalgebraic concepts, and they are distinct, since 2 2 does not preserve weak pullbacks. We introduce a third, intermediate notion whose witnessing relations we call precocongruences (based on pushouts). We give backandforth style characterisations for 2 2bisimulations and precocongruences, we show that on a single coalgebra, precocongruences capture behavioural equivalence, and that between neighbourhood structures, precocongruences are a better approximation of behavioural equivalence than 2 2bisimulations. We also introduce a notion of modal saturation for neighbourhood models, and investigate its relationship with definability and imagefiniteness. We prove a HennessyMilner theorem for modally saturated and for imagefinite neighbourhood models. Our main results are an analogue of Van Benthem’s characterisation theorem and a modeltheoretic proof of Craig interpolation for classical modal logic.