Simplified tableaux for STIT imagination logic

DOI10.1007/S10992-019-09503-1zbMath1457.03034OpenAlexW2914269159MaRDI QIDQ2295596

Heinrich Wansing, Grigory K. Olkhovikov

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

tableauxSTIT logiccanonical modelslogic of imagination

Mathematics Subject Classification ID

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

Related Items (2)

<scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT ⋮ Proof-theoretic analysis of the logics of agency: the deliberative STIT

Cites Work

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

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