scientific article
From MaRDI portal
Publication:3086943
zbMath1244.03099MaRDI QIDQ3086943
François Schwarzentruber, Andreas Herzig
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)
Related Items
Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Some forms of collectively bringing about or `seeing to it that' ⋮ On Satisfiability in ATL with Strategy Contexts ⋮ Temporal logic and its application to normative reasoning ⋮ Complexity results of STIT fragments ⋮ Unnamed Item ⋮ Expressivity results for deontic logics of collective agency ⋮ Decidability of logics based on an indeterministic metric tense logic ⋮ RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC ⋮ Decidability of an Xstit logic ⋮ Making a start with the stit logic analysis of intentional action ⋮ An axiomatic system and a tableau calculus for STIT imagination logic ⋮ Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces ⋮ A logic for reasoning about counterfactual emotions ⋮ Deontic epistemic stit logic distinguishing modes of mens rea ⋮ A dynamic logic of agency. I: STIT, capabilities and powers