ACTION TYPES IN STIT SEMANTICS

DOI10.1017/S1755020317000016zbMath1421.03006OpenAlexW2753238300MaRDI QIDQ4600819

Eric Pacuit, John F. Horty

Publication date: 17 January 2018

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020317000016

zbMATH Keywords

stit semanticsability action types

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items

Choice-driven counterfactuals, Agential free choice, Weighted modal logic in epistemic and deontic contexts, Generalizing deontic action logic, BISIMULATIONS FOR KNOWING HOW LOGICS, The logic of action and control, Counterfactual and seeing-to-it responsibilities in strategic games, DOING WITHOUT ACTION TYPES, Stit semantics for epistemic notions based on information disclosure in interactive settings, Knowing-how under uncertainty, On composition of bounded-recall plans

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deontic epistemic stit logic distinguishing modes of mens rea
• Combinations of stit and actions
• On the logic of ability
• Getting started: Beginnings in the logic of action
• The deliberative stit: A study of action, omission, ability, and obligation
• Action and knowledge in alternating-time temporal logic
• A logical analysis of responsibility attribution: emotions, individuals and collectives
• Games in Dynamic-Epistemic Logic
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Alternating-time temporal logic
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• Constructive knowledge: what agents can achieve under imperfect information
• A Modal Logic for Coalitional Power in Games
• Indeterminist time and truth‐value gaps¹