Pages that link to "Item:Q4557167"

The following pages link to CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167):

Displayed 3 items.

• Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) ‎ (← links)
• Herzberger's limit rule with labelled sequent calculus (Q2193976) ‎ (← links)
• Logical analysis of emotions in text from natural language (Q5114311) ‎ (← links)