Searching for "On Quantified Modal Logic." – sorted by Relevance.
122 documents found, showing 1 through 10.
Next 10 →
-
Labelled Quantified Modal Logics
- …Labelled quantified modal logics David Basin 1 , Se'an Matthews 2 , Luca Vigan`o 2 1 Institut…
- Add To MetaCart
-
On Quantified Modal Logic
- …On Quantified Modal Logic Melvin Fitting Dept. Mathematics and Computer Science Lehman College…
- Cited by 2 (0 self) – Add To MetaCart
-
In Defense of the Simplest Quantified Modal Logic
- …In Defense of the Simplest Quantified Modal Logic ∗ Bernard Linsky Department of Philosophy…
- Cited by 3 (1 self) – Add To MetaCart
-
Labelled Proofs for Quantified Modal Logic
- …Labelled Proofs for Quantified Modal Logic Alberto Artosi 1 , Paola Benassi 2 , Guido Governatori…
- Cited by 7 (6 self) – Add To MetaCart
-
Quantified Modal Logics and Tableau Methods
- …' & $ % Quantied Modal Logics and Tableau Methods Marta Cialdea Mayer Universita di Roma Tre…
- Add To MetaCart
-
Repairing the Interpolation Theorem in Quantified Modal Logic
- …Repairing the Interpolation Theorem in Quantied Modal Logic Carlos Areces a Patrick Blackburn b…
- Cited by 8 (4 self) – Add To MetaCart
-
A systematic presentation of quantified modal logics
- …A Systematic Presentation of Quantified Modal Logics CLAUDIO CASTELLINI, School of Informatics…
- Cited by 5 (3 self) – Add To MetaCart
-
A Unifying Completeness Theorem in Quantified Modal Logic
- …A Unifying Completeness Theorem in Quantied Modal Logic Giovanna Corsi Dipartimento di Filosoa…
- Cited by 4 (0 self) – Add To MetaCart
-
Counterpart Semantics - A Foundational Study on Quantified Modal Logics
- …COUNTERPART SEMANTICS A FOUNDATIONAL STUDY ON QUANTIFIED MODAL LOGICS GIOVANNA CORSI Abstract…
- Cited by 3 (0 self) – Add To MetaCart
-
An Order-Sorted Quantified Modal Logic for Ontological Property Classification 1
- …An Order-Sorted Quantified Modal Logic for Ontological Property Classification 1 Ken Kaneiwa…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
