Multi-dimensional modal logic

Publication date: 25 February 1998

Published in: Applied Logic Series (Search for Journal in Brave)

multi-dimensional modal logic expressiveness arrow logic step-by-step method mosaic method axiomatizability of classes of multi-dimensional frames modal logic of intervals modal logics of relations multi-dimensional semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (50)

Constructive interpolation in hybrid logic ⋮ Modal Logics with Hard Diamond-Free Fragments ⋮ On the subtle nature of a simple logic of the hide and seek game ⋮ Taming logic ⋮ On the universality of atomic and molecular logics via protologics ⋮ Dynamic extensions of arrow logic ⋮ Notes on logics of metric spaces ⋮ Putting right the wording and the proof of the Truth Lemma forAPAL ⋮ Separation logics and modalities: a survey ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ A simple logic of the hide and seek game ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Squares in fork arrow logic ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Predicate metric tense logic for `now' and `then' ⋮ How many varieties of cylindric algebras are there ⋮ The grammar of quantification and the fine structure of interpretation contexts ⋮ Mathematical modal logic: A view of its evolution ⋮ Axiomatization of modal logic squares with distinguished diagonal ⋮ A study on multi-dimensional products of graphs and hybrid logics ⋮ Characterization, definability and separation via saturated models ⋮ On fork arrow logic and its expressive power ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ Undecidable theories of Lyndon algebras ⋮ Intricate axioms as interaction axioms ⋮ A simple logic of functional dependence ⋮ SOME MODEL THEORY OF GUARDED NEGATION ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ A Completeness Result for Relation Algebra with Binders ⋮ Relative expressive power of navigational querying on graphs ⋮ Hybrid logics: characterization, interpolation and complexity ⋮ The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs ⋮ Temporal reference in linear tense logic ⋮ Modal logics of succession for 2-dimensional integral spacetime ⋮ Failure of interpolation in combined modal logics ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ On squares of modal logics with additional connectives ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ The Complexity of Decomposing Modal and First-Order Theories ⋮ On matrices and \(K\)-relations ⋮ Geometrical representation theorems for cylindric-type algebras ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ Modal languages and bounded fragments of predicate logic ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ PDL with intersection of programs: a complete axiomatization ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi ⋮ Guards, bounds, and generalized semantics ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics ⋮ Remarks on Gregory's ``actually operator

This page was built for publication: Multi-dimensional modal logic