ACTION TYPES IN STIT SEMANTICS

DOI10.1017/S1755020317000016MaRDI QIDQ4600819zbMATH OpenOpenAlexFDO

Authors Eric Pacuit, J. 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

ability action typesstit semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 177779
• scientific article; zbMATH DE number 1231609
• scientific article; zbMATH DE number 1088052
• scientific article; zbMATH DE number 4050948
• scientific article; zbMATH DE number 591239
• Action Semantics in Retrospect
• An Action Semantics Based on Two Combinators
• scientific article; zbMATH DE number 1333606
• On the semantics of parsing actions

Cites work

• A logical analysis of responsibility attribution: emotions, individuals and collectives
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A Modal Logic for Coalitional Power in Games
• Action and knowledge in alternating-time temporal logic
• Agency and deontic logic
• Alternating-time logic with imperfect recall
• Alternating-time temporal logic
• Combinations of stit and actions
• Constructive knowledge: what agents can achieve under imperfect information
• Deontic epistemic stit logic distinguishing modes of mens rea
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• From coalition logic to STIT
• Games in dynamic-epistemic logic
• Getting started: Beginnings in the logic of action
• scientific article; zbMATH DE number 2182496 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Indeterminist time and truth‐value gaps¹
• On the logic of ability
• The deliberative stit: A study of action, omission, ability, and obligation

Cited in

(19)

• On composition of bounded-recall plans
• Choice-driven counterfactuals
• Weighted modal logic in epistemic and deontic contexts
• Generalizing deontic action logic
• Knowing-how under uncertainty
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Knowledge and subjective oughts in STIT logic
• Stit semantics for epistemic notions based on information disclosure in interactive settings
• Stit semantics for epistemic notions based on information disclosure in interactive settings
• The logic of action and control
• Counterfactual and seeing-to-it responsibilities in strategic games
• DOING WITHOUT ACTION TYPES
• Making norms and following norms
• A deontic stit logic based on beliefs and expected utility
• An epistemic perspective on subjective and objective time
• Logic of action from the perspective of knowledge representation
• Responsibility in multi-step decision schemes
• Responsibility in infinite games
• Agential free choice

This page was built for publication: ACTION TYPES IN STIT SEMANTICS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4600819)