A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

DOI10.1007/978-3-540-93920-7_4zbMath1207.03021OpenAlexW1595230848MaRDI QIDQ3601785

Jan M. Broersen

Publication date: 12 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-93920-7_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (20)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Reasoning about manipulation in multi-agent systems ⋮ A complete coalition logic of temporal knowledge for multi-agent systems ⋮ Inference as doxastic agency. I: The basics of justification stit logic ⋮ A STIT logic for reasoning about social influence ⋮ Temporal logic and its application to normative reasoning ⋮ Complexity results of STIT fragments ⋮ Combinations of stit and actions ⋮ A Logic-Based Analysis of Responsibility ⋮ Decidability of logics based on an indeterministic metric tense logic ⋮ Decidability of an Xstit logic ⋮ Making a start with the stit logic analysis of intentional action ⋮ Agency and fictional truth: a formal study on fiction-making ⋮ An axiomatic system and a tableau calculus for STIT imagination logic ⋮ Actions as events ⋮ Stit semantics for epistemic notions based on information disclosure in interactive settings ⋮ Deontic epistemic stit logic distinguishing modes of mens rea ⋮ Group announcement logic ⋮ Alternating-Time Temporal Announcement Logic ⋮ On the Reconciliation of Logics of Agency and Logics of Event Types

Uses Software

• SQEMA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Communication in concurrent dynamic logic
• Conditional obligation, deontic paradoxes, and the logic of agency
• Many-dimensional modal logics: theory and applications
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Alternating-time temporal logic
• A STIT-Extension of ATL
• A Modal Logic for Coalitional Power in Games
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

This page was built for publication: A Complete STIT Logic for Knowledge and Action, and Some of Its Applications