Proof-theoretic analysis of the logics of agency: the deliberative STIT

DOI10.1007/s11225-020-09914-1OpenAlexW3043744705MaRDI QIDQ2046875

Sara Negri, Edi Pavlović

Publication date: 19 August 2021

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

Full work available at URL: https://doi.org/10.1007/s11225-020-09914-1

zbMATH Keywords

labelled sequent calculusBT + AC framesdeliberative STIT

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Mechanising Gödel-Löb provability logic in HOL light ⋮ <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• Alternative axiomatics and complexity of deliberative STIT theories
• Axioms for deliberative stit
• Remarks on the logic of imagination. A step towards understanding doxastic control through imagination
• An axiomatic system and a tableau calculus for STIT imagination logic
• Proofs and countermodels in non-classical logics
• Simplified tableaux for STIT imagination logic
• GEOMETRISATION OF FIRST-ORDER LOGIC
• PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS
• Proof Analysis in Deontic Logics
• Countermodels from Sequent Calculi in Multi-Modal Logics
• Proof Analysis
• A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
• Cut Elimination in the Presence of Axioms
• CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS