Decidability of logics based on an indeterministic metric tense logic

DOI10.1007/S11225-015-9613-4MaRDI QIDQ897475zbMATH OpenOpenAlexFDO

Authors Yan Zhang, Kai Li

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

epistemic logicfiltrationlogic of agencystitbisimulationKripke structurefinite frame property

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 759442
• Decidable metric logics
• Decidability results for metric and layered temporal logics
• Publication:4938638
• Relaxed decidability and the robust semantics of metric temporal logic
• On the decidability and complexity of Metric Temporal Logic over finite words
• Some Recent Results in Metric Temporal Logic
• Completeness and decidability of tense logics closely related to logics above K4
• A decidable intuitionistic temporal logic
• The Expressive Power of Temporal and First-Order Metric Logics

Cites work

• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• scientific article; zbMATH DE number 1536564 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A Gabbay-rule free axiomatization of T W validity
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A mathematical introduction to logic.
• Alternative axiomatics and complexity of deliberative STIT theories
• Branching-time logic with quantification over branches: The point of view of modal logic
• Complexity results of STIT fragments
• Decidability of an Xstit logic
• Deontic epistemic stit logic distinguishing modes of mens rea
• Indeterminist time and truth‐value gaps¹
• Modal logic
• Model theory.
• Properties of logics of individual and group agency
• The complexity of reasoning about knowledge and time. I: Lower bounds

Cited in

(3)

• Decidable metric logics
• Decidability of an Xstit logic
• Completeness and decidability of tense logics closely related to logics above K4

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

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