Quantification in Modal Logic
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Model Theory for Modal LogicPublished by Springer Nature ,1979
- Investigations into quantified modal logic-IStudia Logica, 1976
- Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and LinguisticsPublished by Springer Nature ,1976
- Propositional quantifiers in modal logic1Theoria, 1970
- Some Completeness Results for Modal Predicate CalculiPublished by Springer Nature ,1970
- Existential Presuppositions and Uniqueness PresuppositionsPublished by Springer Nature ,1970
- Counterpart Theory and Quantified Modal LogicThe Journal of Philosophy, 1968
- The completeness of the first-order functional calculusThe Journal of Symbolic Logic, 1949