COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS

DOI10.1017/S1755020318000229zbMath1475.03079OpenAlexW2893109491MaRDI QIDQ4961741

Philip Kremer

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

zbMATH Keywords

modal logicintuitionistic logictopological semanticssecond-order propositional logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Higher-order logic (03B16)

Related Items (1)

On the logic of belief and propositional quantification

Uses Software

• Automath

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