Products of modal logics, part 1

DOI10.1093/JIGPAL/6.1.73zbMATH Open0902.03008OpenAlexW2118324648MaRDI QIDQ4380448FDOQ4380448

Authors: Valentin Shehtman, Dov Gabbay 

Publication date: 30 July 2000

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/6.1.73

Recommendations

• Products of modal logics. III. Products of modal and temporal logics
• Products of ‘transitive” modal logics
• On axiomatising products of Kripke frames. II
• On axiomatising products of Kripke frames

zbMATH Keywords

surveynormal formsdecidabilityfiltrationproducts of modal logicsaxiomatizabilityfinite model propertyfinite depth modelsmultidimensional modal logicsproducts of Kripke frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (73)

• Non-primitive recursive decidability of products of modal logics with expanding domains
• Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
• Compositional failure detection in structured transition systems
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• On axiomatising products of Kripke frames. II
• Failure of interpolation in combined modal logics
• An elementary construction for a non-elementary procedure
• Complexity of products of modal logics
• Axiomatization and completeness of lexicographic products of modal logics
• The product of converse PDL and polymodal K
• On the Products of Linear Modal Logics
• COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS
• Logics for Temporal Information Systems in Rough Set Theory
• Decidable fragments of first-order modal logics
• Products, or how to create modal logics of high complexity
• The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\)
• Title not available (Why is that?)
• Axiomatization and Completeness of Lexicographic Products of Modal Logics
• Matching topological and frame products of modal logics
• The decision problem of modal product logics with a diagonal, and faulty counter machines
• About the unification type of \(\mathbf{K}+\square \square \bot\)
• Topological-frame products of modal logics
• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
• What is the correct logic of necessity, actuality and apriority?
• Diversity of agents and their interaction
• 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
• Products of ‘transitive” modal logics
• Interactions between knowledge, action and commitment within agent dynamic logic
• A description logic based situation calculus
• Multimodal logics of products of topologies
• Title not available (Why is that?)
• On axiomatising products of Kripke frames
• Products of modal logics and tensor products of modal algebras
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Products of modal logics with diagonal constant lacking the finite model property
• A study on multi-dimensional products of graphs and hybrid logics
• Propositional quantification in bimodal S5
• An NP-complete fragment of fibring logic
• The Complexity of Decomposing Modal and First-Order Theories
• Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
• On possible worlds with modal parts. A semantics for modal interaction
• More on \(d\)-logics of subspaces of the rational numbers
• Complexity of finite-variable fragments of propositional temporal and modal logics of computation
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
• On modal products with the logic of `elsewhere'
• A simple logic of the hide and seek game
• Products of modal logics. III. Products of modal and temporal logics
• A dichotomy for some elementarily generated modal logics
• On combinations of propositional dynamic logic and doxastic modal logics
• Updating knowledge using subsets
• On squares of modal logics with additional connectives
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• Decidable fragments of first-order temporal logics
• About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
• On the essential flatness of possible worlds
• Non-finitely axiomatisable two-dimensional modal logics
• Modal logics of succession for 2-dimensional integral spacetime
• On neighbourhood product of some Horn axiomatizable logics
• Axiomatizing hybrid products of monotone neighborhood frames
• Title not available (Why is that?)
• Using Each Other’s Words
• Truth-preserving operations on sums of Kripke frames
• Graph games and logic design
• On Monotonic Determinacy and Rewritability for Recursive Queries and Views
• An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability
• The compositional method and regular reachability
• Decision procedures for a deontic logic modeling temporal inheritance of obligations
• No finite model property for logics of quantified announcements
• Title not available (Why is that?)
• CoNP complexity for combinations of non-normal modal logics
• Semiproducts, products, and modal predicate logics: some examples

This page was built for publication: Products of modal logics, part 1

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4380448)