Correspondence Theory
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Quick completeness proofs for some logics of conditionals.Notre Dame Journal of Formal Logic, 1981
- Universal First‐Order Definability in Modal LogicMathematical Logic Quarterly, 1980
- Logic and timeThe Journal of Symbolic Logic, 1979
- Isomorphism and higher order equivalenceAnnals of Mathematical Logic, 1979
- Interval semantics for tense logic: Some remarksJournal of Philosophical Logic, 1979
- An incomplete logic containing S4Theoria, 1974
- Semantic analysis of orthologicJournal of Philosophical Logic, 1974
- Counterfactuals and comparative possibilityJournal of Philosophical Logic, 1973
- Semantic analysis of tense logicsThe Journal of Symbolic Logic, 1972
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950