Pages that link to "Item:Q2254557"
From MaRDI portal
The following pages link to Proofs and countermodels in non-classical logics (Q2254557):
Displaying 11 items.
- Intuitionistic games: determinacy, completeness, and normalization (Q332080) (← links)
- A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq (Q2142084) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295) (← links)
- PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b> (Q3389499) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)