Complexity results of STIT fragments
type: Item
instance of: scholarly article
title: Complexity results of STIT fragments
zbMATH Open document ID: 1283.03036
author: François Schwarzentruber
published in: Studia Logica
publication date: 2013-01-03T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 6121543
zbMATH Keywords: STIT logic
zbMATH Keywords: Kripke structure
zbMATH Keywords: satisfiability problem
zbMATH Keywords: complexity
zbMATH Keywords: axiomatization
MaRDI profile type: Publication
full work available at URL: s11225-012-9445-4
OpenAlex ID: W1988824527
cites work: Alternating-time temporal logic
cites work: Alternative axiomatics and complexity of deliberative STIT theories
cites work: Modal logic
cites work: Deontic epistemic stit logic distinguishing modes of mens rea
cites work: A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
cites work: A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
cites work: Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
cites work: Time and modality in the logic of agency
cites work: A dynamic logic of agency. I: STIT, capabilities and powers
cites work: Q3086943
cites work: The deliberative stit: A study of action, omission, ability, and obligation
cites work: Q5422030
cites work: Constructive knowledge: what agents can achieve under imperfect information
cites work: The Computational Complexity of Provability in Systems of Modal Propositional Logic
cites work: A Logical Analysis of Commitment Dynamics
cites work: A logic for reasoning about counterfactual emotions
cites work: On the complexity of single-rule datalog queries.
cites work: A Modal Logic for Coalitional Power in Games
cites work: An axiomatization of PCTL*
cites work: Q4244318
cites work: ATL Satisfiability is Indeed EXPTIME-complete
cites work: Q3509070
cites work: Propositional \(\text Q\)-logic
cites work: Axioms for deliberative stit
DOI: 10.1007/S11225-012-9445-4
description: scientific article; zbMATH DE number 6121543