Classical intensional logics
- 1 December 1970
- Vol. 36 (3) , 347-372
- https://doi.org/10.1111/j.1755-2567.1970.tb00433.x
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Decision procedures for Lewis system S1 and related modal systems.Notre Dame Journal of Formal Logic, 1970
- Advice on Modal LogicPublished by Springer Nature ,1970
- Decidability of S4.1Theoria, 1968
- Functions of PropositionsThe Journal of Symbolic Logic, 1966
- A note on Halldén-incompleteness.Notre Dame Journal of Formal Logic, 1966
- Some results on finite axiomatizability in modal logic.Notre Dame Journal of Formal Logic, 1965
- Epimenides the CretanThe Journal of Symbolic Logic, 1958
- Can the logic of indirect discourse be formalised?The Journal of Symbolic Logic, 1957