Parametrized modal logic. II: The unidimensional case

DOI10.1007/978-3-031-26622-5_2MaRDI QIDQ6550519

Philippe Balbiani

Publication date: 5 June 2024

zbMATH Keywords

completenessdecidabilityparametrized modal logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The complexity of temporal logic over the reals
• A four-valued hybrid logic with non-dual modal operators
• Representation of nondeterministic information
• An essay in combinatory dynamic logic
• Information systems theoretical foundations
• Modal logics for knowledge representation systems
• A logic with relative knowledge operators
• Tools and techniques in modal logic
• Resolving distributed knowledge
• Reasoning about belief, evidence and trust in a multi-agent setting
• Kripke semantics for knowledge representation logics
• Public group announcements and trust in doxastic logic
• Modal logic
• Tableau methods for modal and temporal logics
• The complexity of propositional linear temporal logics
• An undecidable problem in correspondence theory

This page was built for publication: Parametrized modal logic. II: The unidimensional case

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