Alternative axiomatics and complexity of deliberative STIT theories (Q939059): Difference between revisions
From MaRDI portal
Latest revision as of 15:12, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Alternative axiomatics and complexity of deliberative STIT theories |
scientific article |
Statements
Alternative axiomatics and complexity of deliberative STIT theories (English)
0 references
20 August 2008
0 references
Two alternatives to Xu's axiomatization of Chellas's STIT (See To It That) theory are offered. The first one simplifies its presentation and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas's STIT. Using the second axiomatization it is also shown that the problem of deciding the satisfiability of a STIT formula without temporal operators is NP-complete in the single-agent case and is NEXPTIME-complete in the multi-agent case, both for the deliberative and Chellas's STIT.
0 references
axiomatization
0 references
complexity
0 references
logic of agency
0 references
STIT operator
0 references