Products of modal logics, part 1
From MaRDI portal
Publication:4380448
DOI10.1093/jigpal/6.1.73zbMath0902.03008OpenAlexW2118324648MaRDI QIDQ4380448
Valentin Shehtman, Dov M. Gabbay
Publication date: 30 July 2000
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/6.1.73
surveyfiltrationnormal formsdecidabilityfinite model propertyaxiomatizabilityproducts of modal logicsfinite depth modelsmultidimensional modal logicsproducts of Kripke frames
Related Items (56)
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ On Monotonic Determinacy and Rewritability for Recursive Queries and Views ⋮ About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Matching topological and frame products of modal logics ⋮ Axiomatization and completeness of lexicographic products of modal logics ⋮ Updating knowledge using subsets ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ Multimodal logics of products of topologies ⋮ Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ A description logic based situation calculus ⋮ WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ A simple logic of the hide and seek game ⋮ An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Semiproducts, products, and modal predicate logics: some examples ⋮ Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ An NP-complete fragment of fibring logic ⋮ Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity ⋮ A study on multi-dimensional products of graphs and hybrid logics ⋮ Products of modal logics and tensor products of modal algebras ⋮ About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability ⋮ On possible worlds with modal parts. A semantics for modal interaction ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ A dichotomy for some elementarily generated modal logics ⋮ Products of ‘transitive” modal logics ⋮ Topological-frame products of modal logics ⋮ Axiomatizing Hybrid Products of Monotone Neighborhood Frames ⋮ Decidable fragments of first-order modal logics ⋮ More on \(d\)-logics of subspaces of the rational numbers ⋮ Modal logics of succession for 2-dimensional integral spacetime ⋮ Failure of interpolation in combined modal logics ⋮ Interactions between knowledge, action and commitment within agent dynamic logic ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ Compositional Failure Detection in Structured Transition Systems ⋮ On squares of modal logics with additional connectives ⋮ The Complexity of Decomposing Modal and First-Order Theories ⋮ On combinations of propositional dynamic logic and doxastic modal logics ⋮ Diversity of agents and their interaction ⋮ Segerberg Squares of Modal Logics and Theories of Relation Algebras ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ Propositional quantification in bimodal S5 ⋮ The Compositional Method and Regular Reachability ⋮ Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations ⋮ COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS ⋮ Axiomatization and Completeness of Lexicographic Products of Modal Logics ⋮ Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property ⋮ Decidable fragments of first-order temporal logics ⋮ Using Each Other’s Words ⋮ On the Essential Flatness of Possible Worlds ⋮ On axiomatising products of Kripke frames ⋮ The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\) ⋮ Logics for Temporal Information Systems in Rough Set Theory
This page was built for publication: Products of modal logics, part 1
