A model existence theorem in infinitary propositional modal logic
- 1 August 1994
- journal article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 23 (4) , 337-367
- https://doi.org/10.1007/bf01048686
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A completeness proof for an infinitary tense-logicTheoria, 2008
- Logics containing K4. Part IThe Journal of Symbolic Logic, 1974