Simplified tableaux for STIT imagination logic

DOI10.1007/S10992-019-09503-1MaRDI QIDQ2295596zbMATH OpenOpenAlexFDO

Authors Grigory Olkhovikov, Heinrich Wansing

Publication date 14 February 2020

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-019-09503-1

zbMATH Keywords

canonical modelslogic of imaginationSTIT logictableaux

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites work

• An axiomatic system and a tableau calculus for STIT imagination logic

Cited in

(6)

• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• Simplification Rules for Intuitionistic Propositional Tableaux
• <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT
• Bringing de re and de dicto into STIT logic
• Alternative axiomatization for logics of agency in a G3 calculus
• The logical development of pretense imagination

This page was built for publication: Simplified tableaux for STIT imagination logic

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