Busy choice sequences refraining formulas and modalities

DOI10.1007/BF01053002zbMath0824.03008OpenAlexW1975261548MaRDI QIDQ1893121

Yanyan Li

Publication date: 9 November 1995

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01053002

zbMATH Keywords

modal operatorstit theorycomplexity of busy choice sequencesnumber of distinct modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Quantified temporal alethic boulesic doxastic logic ⋮ Прощение как речевой акт в пропозициональной динамической логике ⋮ Actions as events ⋮ Uncompactness of stit logics containing generalized refref conditionals ⋮ Axioms for deliberative stit ⋮ Propositional \(\text Q\)-logic

Cites Work

• Unnamed Item
• Getting started: Beginnings in the logic of action
• The way of the agent
• Time and modality in the logic of agency
• Decidability of stit theory with a single agent and Refref equivalence
• Doing and refraining from refraining
• In the realm of agents
• Modal Logics Between S 4 and S 5
• Modalities in the Survey system of strict implication