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

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

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)

Cites Work

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

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)