scientific article; zbMATH DE number 1536564

MaRDI QIDQ4518432zbMATH OpenFDO

Authors Ming Xu

Publication date 28 November 2000

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Recommendations

• Axioms for deliberative stit
• A dynamic logic of agency. I: STIT, capabilities and powers
• Properties of logics of individual and group agency
• Tableaux for multi-agent deliberative-stit logic
• Alternative axiomatics and complexity of deliberative STIT theories

Cited in

(18)

• Axioms for deliberative stit
• Decidability of stit theory with a single agent and Refref equivalence
• Doing without nature
• Propositional Q-logic
• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Properties of logics of individual and group agency
• Tableaux for multi-agent deliberative-stit logic
• Decidability of an Xstit logic
• Stit semantics for epistemic notions based on information disclosure in interactive settings
• Uncompactness of stit logics containing generalized refref conditionals
• A Logic-Based Analysis of Responsibility
• Combinations of stit and actions
• A deontic stit logic based on beliefs and expected utility
• Bringing de re and de dicto into STIT logic
• Actions as events
• Decidability of logics based on an indeterministic metric tense logic
• Alternative axiomatics and complexity of deliberative STIT theories

This page was built for publication:

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