Decidability of an Xstit logic

DOI10.1007/S11225-013-9492-5zbMATH Open1301.03024OpenAlexW2080872423MaRDI QIDQ456970FDOQ456970

Authors 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

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)

Recommendations

• scientific article; zbMATH DE number 1536564
• Complexity results of STIT fragments
• Decidability of logics based on an indeterministic metric tense logic
• Properties of logics of individual and group agency
• Filtration of some well-known modal logics

Cites work

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

Cited in

(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

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

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