Pages that link to "Item:Q4557167"
From MaRDI portal
The following pages link to CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167):
Displayed 4 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)