- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Completeness of some quantified modal logics
Logique Et Analyse 21 (82):153 (1978)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Natural deduction systems for some quantified relevant logics.Ross T. Brady - 1984 - Logique Et Analyse 27 (8):355--377.
Some incompletable modal predicate logics.M. J. Cresswell - 1997 - Logique Et Analyse 160 (1997):321-334.
Socratic proofs for some normal modal propositional logics.D. Leszczyńska - 2004 - Logique Et Analyse 47 (No. 185–188):259-285.
Quantified modal logic, reference and essentialism.M. Perrick & H. de Swart - 1993 - Logique Et Analyse 143 (143-144):219-231.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Quine Against Essentialism and Quantified Modal Logic.W. Stephen Croddy - 1988 - Logique Et Analyse 31 (123-124):317-328.
A completeness property of negationless intuitionist propositional logics.A. J. Dale - 1985 - Logique Et Analyse 28 (9):79.
Analytics
Added to PP
2015-02-06
Downloads
0
6 months
0
2015-02-06
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author's Profile
Citations of this work
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):491-499.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-82spv uwo