Pages that link to "Item:Q4557167"
From MaRDI portal
The following pages link to CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167):
Displaying 6 items.
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Public announcements, public lies and recoveries (Q2093030) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Logical analysis of emotions in text from natural language (Q5114311) (← links)
- Epistemic logics for relevant reasoners (Q6623818) (← links)
- Decidable fragments of the quantified argument calculus (Q6638233) (← links)
