Decidability of logics based on an indeterministic metric tense logic

DOI10.1007/S11225-015-9613-4zbMath1378.03018OpenAlexW1915651240MaRDI QIDQ897475

Kai Li, Yan Zhang

Publication date: 7 December 2015

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

Full work available at URL: https://doi.org/10.1007/s11225-015-9613-4

zbMATH Keywords

filtrationbisimulationepistemic logiclogic of agencystitKripke structurefinite frame property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Cites Work

• Decidability of an Xstit logic
• Deontic epistemic stit logic distinguishing modes of mens rea
• Alternative axiomatics and complexity of deliberative STIT theories
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Model theory.
• A Gabbay-rule free axiomatization of \(T\times W\) validity
• Complexity results of STIT fragments
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Branching-time logic with quantification over branches: The point of view of modal logic
• Indeterminist time and truth‐value gaps¹
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidability of logics based on an indeterministic metric tense logic