An Interpretive Independence-Friendly Quantified Modal Logic
In Michal Pelis (ed.), The LOGICA Yearbook 2007. Filosofia. Academy of Sciences of the Czech Republic (2007)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Alessandro Torza (2013). How to Lewis a Kripke-Hintikka. Synthese 190 (4):743-779.
Theo M. V. Janssen (2013). Compositional Natural Language Semantics Using Independence Friendly Logic or Dependence Logic. Studia Logica 101 (2):453-466.
Phillip Bricker (1989). Quantified Modal Logic and the Plural De Re. Midwest Studies in Philosophy 14 (1):372-394.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Merlijn Sevenster (2010). Decidability of Independence-Friendly Modal Logic. Review of Symbolic Logic 3 (3):415-441.
H. Kushida & M. Okada (2003). A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic. Journal of Symbolic Logic 68 (4):1403-1414.
Antti Kuusisto (2013). Expressivity of Imperfect Information Logics Without Identity. Studia Logica 101 (2):237-265.
Ulrich Meyer (2009). ”Now' and ”Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229--47.
Jaakko Hintikka (2002). Quantum Logic as a Fragment of Independence-Friendly Logic. Journal of Philosophical Logic 31 (3):197-209.
J. Väänänen (2007). Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press.
Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev (2005). Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables. Bulletin of Symbolic Logic 11 (3):428-438.
Christopher Menzel (1991). The True Modal Logic. Journal of Philosophical Logic 20 (4):331 - 374.
David Efird (2009). Divine Command Theory and the Semantics of Quantified Modal Logic. In Yujin Nagasawa & Erik J. Wielenberg (eds.), New Waves in Philosophy of Religion. Palgrave Macmillan.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-03-22Total downloads1 ( #274,921 of 549,108 )Recent downloads (6 months)1 ( #63,361 of 549,108 )How can I increase my downloads? |

