Positive modal logic
- 1 January 1995
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 55 (2) , 301-317
- https://doi.org/10.1007/bf01061239
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Kripke models for linear logicThe Journal of Symbolic Logic, 1993
- On modal systems having arithmetical interpretationsThe Journal of Symbolic Logic, 1984
- Proof Methods for Modal and Intuitionistic LogicsPublished by Springer Nature ,1983
- Modal LogicPublished by Cambridge University Press (CUP) ,1980
- A topological representation theory for latticesAlgebra universalis, 1978
- Quantification and RMStudia Logica, 1976
- On 2nd order intuitionistic propositional calculus with full comprehensionArchive for Mathematical Logic, 1974
- Algebraic semantics for modal logics IThe Journal of Symbolic Logic, 1966