Propositional \(\text Q\)-logic
type: Item
instance of: scholarly article
title: Propositional \(\text Q\)-logic
zbMATH Open document ID: 1011.03010
DOI: 10.1023/A:1020163602542
author: Stefan Wölfl
published in: Journal of Philosophical Logic
publication date: 2003-03-12T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 1880567
zbMATH Keywords: logic of agency
zbMATH Keywords: branching histories
zbMATH Keywords: completeness
zbMATH Keywords: stit
MaRDI profile type: Publication
cites work: The way of the agent
cites work: Time and modality in the logic of agency
cites work: The modal logic of inequality
cites work: Q3835817
cites work: Modal logic with names
cites work: Q5422030
cites work: The deliberative stit: A study of action, omission, ability, and obligation
cites work: T \(\times\) W completeness
cites work: Q4518428
cites work: A Gabbay-rule free axiomatization of \(T\times W\) validity
cites work: An axiomatization of full computation tree logic
cites work: Q4342095
cites work: Combinations of tense and modality for predicate logic
cites work: Combined temporal and modal logic. Completeness results for predicate logic languages
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: Busy choice sequences refraining formulas and modalities
cites work: On the basic logic ofSTITwith a single agent
cites work: Axioms for deliberative stit
description: scientific article; zbMATH DE number 1880567