COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS
From MaRDI portal
Publication:4961741
DOI10.1017/S1755020318000229zbMath1475.03079OpenAlexW2893109491MaRDI QIDQ4961741
Publication date: 25 October 2018
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020318000229
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Higher-order logic (03B16)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Lectures on the Curry-Howard isomorphism
- Propositional quantification in the topological semantics for \(\mathbf S4\)
- The expressive power of second-order propositional modal logic
- QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE
- On second order intuitionistic propositional logic without a universal quantifier
- On Some Completeness Theorems in Modal Logic
- Propositional quantifiers in modal logic1
- On the complexity of propositional quantification in intuitionistic logic
- On 2nd order intuitionistic propositional calculus with full comprehension
- STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
This page was built for publication: COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS