Many-dimensional modal logics: theory and applications
From MaRDI portal
Publication:1422049
zbMath1051.03001MaRDI QIDQ1422049
Agi Kurucz, Frank Wolter, Michael Zakharyashchev, Dov M. Gabbay
Publication date: 17 February 2004
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
computational complexity of modal logicsdecidability of modal logicssemantics for many-dimensional modal logicsundecidable modal logics
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ A decidable and expressive fragment of Many-Sorted first-order linear temporal logic ⋮ Subject-oriented spatial logic ⋮ Towards resolution-based reasoning for connected logics ⋮ Intuitionistic non-normal modal logics: a general framework ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Matching topological and frame products of modal logics ⋮ On the subtle nature of a simple logic of the hide and seek game ⋮ Orthogonal frames and indexed relations ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ First-order temporal verification in practice ⋮ Evolving objects in temporal information systems ⋮ A tetrachotomy of ontology-mediated queries with a covering axiom ⋮ Multimodal logics of products of topologies ⋮ Reasoning on temporal class diagrams: Undecidability results ⋮ On dynamic topological and metric logics ⋮ On the freeze quantifier in Constraint LTL: Decidability and complexity ⋮ Axiomatisation and decidability of multi-dimensional Duration Calculus ⋮ An automata-theoretic approach to constraint LTL ⋮ Modal definability: two commuting equivalence relations ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ Bipolarity in temporal argumentation frameworks ⋮ The calculus of relations as a foundation for mathematics ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Compositional meaning in logic ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Preface to the special issue: Temporal logics of agency ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Global view on reactivity: switch graphs and their logics ⋮ Combined model checking for temporal, probabilistic, and real-time logics ⋮ Augmenting ATL with strategy contexts ⋮ Constrained consequence ⋮ Reasoning about visibility ⋮ Measuring inconsistency in generalized propositional logic ⋮ 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 ⋮ A new combination procedure for the word problem that generalizes fusion decidability results in modal logics ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ Reasoning about sequences of memory states ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ Proof theory for functional modal logic ⋮ A history based logic for dynamic preference updates ⋮ Fooling around with tenses ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ Synchronized linear-time temporal logic ⋮ Discovering knowability: a semantic analysis ⋮ Decidability of an Xstit logic ⋮ Axiomatization of modal logic squares with distinguished diagonal ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ S7 ⋮ A study on multi-dimensional products of graphs and hybrid logics ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ Products of modal logics and tensor products of modal algebras ⋮ Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited ⋮ Interval temporal logics over strongly discrete linear orders: expressiveness and complexity ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ Alternative axiomatics and complexity of deliberative STIT theories ⋮ A dichotomy for some elementarily generated modal logics ⋮ Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces ⋮ Topological-frame products of modal logics ⋮ The monodic fragment of propositional term modal logic ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ A logic for reasoning about counterfactual emotions ⋮ Mechanising first-order temporal resolution ⋮ Norms as ascriptions of violations: an analysis in modal logic ⋮ Towards constructive DL for abstraction and refinement ⋮ Ambiguous classes in \(\mu\)-calculi hierarchies ⋮ Interactions between knowledge, action and commitment within agent dynamic logic ⋮ All normal extensions of S5-squared are finitely axiomatizable ⋮ A logical account of formal argumentation ⋮ Connectionist computations of intuitionistic reasoning ⋮ LTL over integer periodicity constraints ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ On squares of modal logics with additional connectives ⋮ On combinations of propositional dynamic logic and doxastic modal logics ⋮ Completeness and correspondence in Chellas-Segerberg semantics ⋮ Selected Temporal Logic Systems: An Attempt at Engineering Evaluation ⋮ Why Systems of Temporal Logic Are Sometimes (Un)useful? ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ Propositional quantification in bimodal S5 ⋮ Dynamic topological S5 ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ Multi-modal CTL: completeness, complexity, and an application ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) ⋮ A new game equivalence, its logic and algebra ⋮ Complexity of monodic guarded fragments over linear and real time ⋮ Lifted model checking for relational MDPs ⋮ Toward a theory of play: a logical perspective on games and interaction ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\) ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics ⋮ \({\mathcal E}\)-connections of abstract description systems ⋮ TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ On Monotonic Determinacy and Rewritability for Recursive Queries and Views ⋮ Modal Logics with Hard Diamond-Free Fragments ⋮ On modal logics betweenK × K × KandS5 × S5 × S5 ⋮ Axiomatization and completeness of lexicographic products of modal logics ⋮ Updating knowledge using subsets ⋮ Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models ⋮ $\aleph_1$ and the modal $\mu$-calculus ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Modal operators on pseudo-BE algebras ⋮ Coalition Description Logic with Individuals ⋮ THE LOGIC OF SEQUENCE FRAMES ⋮ Building an Epistemic Logic for Argumentation ⋮ On Satisfiability in ATL with Strategy Contexts ⋮ A sound and complete axiomatization for Dynamic Topological Logic ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ Finitary S5-Theories ⋮ WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Separation logics and modalities: a survey ⋮ Game theoretical semantics for some non-classical logics ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ A simple logic of the hide and seek game ⋮ Logics and Their Galaxies ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ A logic of ``black box classifier systems ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Semiproducts, products, and modal predicate logics: some examples ⋮ Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ How many varieties of cylindric algebras are there ⋮ Ontology-Mediated Query Answering with Data-Tractable Description Logics ⋮ A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ ⋮ Frames for fusions of modal logics ⋮ About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability ⋮ Necessarily Maybe: Quantifiers, Modality and Vagueness ⋮ Axiomatizing Hybrid Products of Monotone Neighborhood Frames ⋮ Product of Graphs and Hybrid Logic ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ INSTANTIAL NEIGHBOURHOOD LOGIC ⋮ INTUITIONISTIC EPISTEMIC LOGIC ⋮ TRANSITIVE PRIMAL INFON LOGIC ⋮ The intuitionistic temporal logic of dynamical systems ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ A Complete STIT Logic for Knowledge and Action, and Some of Its Applications ⋮ ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations ⋮ Introducing Reactive Kripke Semantics and Arc Accessibility ⋮ The Complexity of Decomposing Modal and First-Order Theories ⋮ Segerberg Squares of Modal Logics and Theories of Relation Algebras ⋮ Proof Complexity of Non-classical Logics ⋮ Formal Properties of Modularisation ⋮ Foundations of Temporal Conceptual Data Models ⋮ First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment ⋮ A Correspondence between Temporal Description Logics ⋮ Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations ⋮ Completeness and Complexity of Multi-modal CTL ⋮ A Decidable Spatial Logic with Cone-Shaped Cardinal Directions ⋮ Quantificational modal logic with sequential Kripke semantics ⋮ An extension of Kracht's theorem to generalized Sahlqvist formulas ⋮ Logical consecutions in discrete linear temporal logic ⋮ DL-Lite with Temporalised Concepts, Rigid Axioms and Roles ⋮ Axiomatization and Completeness of Lexicographic Products of Modal Logics ⋮ Taming the Complexity of Temporal Epistemic Reasoning ⋮ Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ On the Blok-Esakia Theorem ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries ⋮ Temporal Logic of Minkowski Spacetime ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
