Pages that link to "Item:Q2986808"
From MaRDI portal
The following pages link to Countermodels from Sequent Calculi in Multi-Modal Logics (Q2986808):
Displaying 8 items.
- On graphs for intuitionistic modal logics (Q1744424) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- Meaning in Use (Q5213613) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- Decidable fragments of the quantified argument calculus (Q6638233) (← links)
