Comparing semantics for temporal STIT logic

DOI10.2143/LEA.243.0.3285131MaRDI QIDQ5197391zbMATH OpenFDO

Authors Roberto Ciuni, Emiliano Lorini

Publication date 23 September 2019

Full work available at URL https://doi.org/10.2143/LEA.243.0.3285131

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• Temporal STIT logic and its application to normative reasoning
• Complexity results of STIT fragments
• From coalition logic to STIT
• Properties of logics of individual and group agency
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

Cited in

(15)

• Complexity results of STIT fragments
• Orthogonal frames and indexed relations
• Alternative semantics for temporal logics
• A neutral temporal deontic STIT logic
• A STIT logic for reasoning about social influence
• Temporal STIT logic and its application to normative reasoning
• Internal and Interval Semantics for CP-Comparatives
• Stit logics, games, knowledge, and freedom
• <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT
• Actual cause and chancy causation in \textit{stit}: a preliminary account
• Bringing de re and de dicto into STIT logic
• Logic of action from the perspective of knowledge representation
• Proof theory and decision procedures for deontic STIT logics
• Solving the decision problem of group achievement stit logics with refref equivalence
• Some forms of collectively bringing about or `seeing to it that'

This page was built for publication: Comparing semantics for temporal STIT logic

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