Decidability of an Xstit logic

DOI10.1007/S11225-013-9492-5zbMath1301.03024OpenAlexW2080872423MaRDI QIDQ456970

Gillman Payette

Publication date: 26 September 2014

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

Full work available at URL: https://doi.org/10.1007/s11225-013-9492-5

zbMATH Keywords

decidabilityKripke modelsstitS5Xstit

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)

Related Items (3)

Decidability of logics based on an indeterministic metric tense logic ⋮ Reflecting rules: a note on generalizing the deduction theorem ⋮ Stit semantics for epistemic notions based on information disclosure in interactive settings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deontic epistemic stit logic distinguishing modes of mens rea
• Making a start with the stit logic analysis of intentional action
• The way of the agent
• Many-dimensional modal logics: theory and applications
• Complexity results of STIT fragments
• Probabilistic stit logic and its decomposition
• Decision procedures and expressiveness in the temporal logic of branching time
• Normal forms in modal logic
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Canonical formulas for K4. Part III: the finite model property

This page was built for publication: Decidability of an Xstit logic