On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators

DOI10.1007/s11787-012-0074-5zbMath1283.03039OpenAlexW2033347295MaRDI QIDQ1945704

Luca Viganò, Marco Volpe, Carlos Caleiro

Publication date: 8 April 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-012-0074-5

zbMATH Keywords

decidabilitytableau systemstemporal logicsmosaic methodmany-dimensional modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Combined logics (03B62)

Related Items

About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of temporal logic over the reals
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• A decidable temporal logic of parallelism
• Decidability for branching time
• The complexity of the temporal logic with ``until over general linear time
• Many-dimensional modal logics: theory and applications
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• Logic and time
• Products of modal logics, part 1
• Taming first-order logic
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Branching-time logic with quantification over branches: The point of view of modal logic
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Axioms for Branching Time
• Logic and structure.