An Interpretive Independence-Friendly Quantified Modal Logic

In Michal Pelis (ed.), The LOGICA Yearbook 2007. Filosofia. Academy of Sciences of the Czech Republic (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.
IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - Studia Logica 102 (1):41-66.
Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Decidability of independence-friendly modal logic.Merlijn Sevenster - 2010 - Review of Symbolic Logic 3 (3):415-441.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Quantum logic as a fragment of independence-friendly logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Dependence logic: a new approach to independence friendly logic.Jouko Väänänen - 2007 - New York: Cambridge University Press.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
The true modal logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
Divine command theory and the semantics of quantified modal logic.David Efird - 2008 - In Yujin Nagasawa & Erik J. Wielenberg (eds.), New waves in philosophy of religion. New York: Palgrave-Macmillan. pp. 91.

Analytics

Added to PP
2012-03-22

Downloads
1 (#1,880,854)

6 months
1 (#1,520,257)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Alessandro Torza
University of Parma

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references