FORMULAS IN MODAL LOGIC S4
From MaRDI portal
Publication:3066780
DOI10.1017/S1755020310000043zbMath1216.03038MaRDI QIDQ3066780
Publication date: 12 January 2011
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Cites Work
- Unnamed Item
- An effective representation for finitely generated free interior algebras
- An algebraic theory of normal forms
- Untersuchungen über das logische Schliessen. I
- Free Heyting algebras
- Finite models constructed from canonical formulas
- Normal forms in modal logic
- On formulas of one variable in intuitionistic propositional calculus
- Implicational formulas in intuitionistic logic
This page was built for publication: FORMULAS IN MODAL LOGIC S4