Pages that link to "Item:Q4196404"
From MaRDI portal
The following pages link to Arithmetical necessity, provability and intuitionistic logic (Q4196404):
Displayed 14 items.
- A cut-free sequential system for the propositional modal logic of finite chains (Q585187) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- The modal logic of Gödel sentences (Q600852) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Provability, truth, and modal logic (Q1135843) (← links)
- A propositional logic with explicit fixed points (Q1156789) (← links)
- Loeb operators and interior operators (Q1163545) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)