Pages that link to "Item:Q1749805"
From MaRDI portal
The following pages link to An axiomatic system and a tableau calculus for STIT imagination logic (Q1749805):
Displayed 6 items.
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Simplified tableaux for STIT imagination logic (Q2295596) (← links)
- Axiomatizing the logic of imagination (Q2323633) (← links)
- Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
- <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT (Q6051425) (← links)