Pages that link to "Item:Q2046875"

The following pages link to Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875):

Displaying 3 items.

• Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
• <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT (Q6051425) (← links)
• Decidable fragments of the quantified argument calculus (Q6638233) (← links)