Axioms for deliberative stit
type: Item
instance of: scholarly article
title: Axioms for deliberative stit
zbMATH Open document ID: 0917.03007
DOI: 10.1023/A:1004274131669
author: Ming Xu
published in: Journal of Philosophical Logic
publication date: 1999-07-15T00:00:00Z
review text: This paper provides an axiomatisation of the semantics for the dstit (`deliberately sees to it that') operator with multiple agents. [See, e.g., \textit{J. F. Horty} and \textit{N. Belnap}, ``The deliberative stit: a study of action, omission, ability and obligation'', J. Philos. Log. 24, 583-644 (1995; Zbl 0846.03001).] The language contains no other modal operators. Soundness, completeness, and the finite model property are proved, the last two of these by employing the technique of companion formulas, developed in connection with other stit operators [see, e.g., \textit{M. Xu}, ``On the basic logic of stit with a single agent'', J. Symb. Log. 60, 459-483 (1995; Zbl 0827.03003)].
reviewed by: Graham Priest
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1228499
zbMATH Keywords: deliberately sees to it that
zbMATH Keywords: soundness
zbMATH Keywords: modal logic
zbMATH Keywords: dstit
zbMATH Keywords: deliberative stit
zbMATH Keywords: axiomatisation
zbMATH Keywords: semantics
zbMATH Keywords: multiple agents
zbMATH Keywords: completeness
zbMATH Keywords: finite model property
zbMATH Keywords: companion formulas
Wikidata QID: Q114652419
MaRDI profile type: Publication
cites work: Conditional obligation, deontic paradoxes, and the logic of agency
cites work: Q4218022
cites work: The way of the agent
cites work: In the realm of agents
cites work: Time and modality in the logic of agency
cites work: Modal Logics Between S 4 and S 5
cites work: The deliberative stit: A study of action, omission, ability, and obligation
cites work: Modalities in the Survey system of strict implication
cites work: Q5556395
cites work: Getting started: Beginnings in the logic of action
cites work: Indeterminist time and truth‐value gaps1
cites work: Q4342095
cites work: Decidability of stit theory with a single agent and Refref equivalence
cites work: Q4518432
cites work: Doing and refraining from refraining
cites work: On the basic logic ofSTITwith a single agent
cites work: Busy choice sequences refraining formulas and modalities
full work available at URL: a:1004274131669
OpenAlex ID: W1986397748
description: scientific article; zbMATH DE number 1228499