Independendly-Friendly Logic: Dependence and Independence of Quantifiers in Logic
Philosophy Compass 7 (10):691-711 (2012)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesTheo M. V. Janssen (2013). Compositional Natural Language Semantics Using Independence Friendly Logic or Dependence Logic. Studia Logica 101 (2):453-466.
Fredrik Engström (2012). Generalized Quantifiers in Dependence Logic. Journal of Logic, Language and Information 21 (3):299-324.
J. Väänänen (2007). Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press.
Gabriel Sandu (2009). Dependence Logic: A New Approach to Independence Friendly Logic – by Juokko Väänänen. Theoria 75 (1):52-64.
Juha Kontinen & Jouko Väänänen (2009). On Definability in Dependence Logic. Journal of Logic, Language and Information 18 (3).
Jaakko Hintikka (2012). Which Mathematical Logic is the Logic of Mathematics? Logica Universalis 6 (3-4):459-475.
Pietro Galliani & Allen L. Mann (2013). Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information. Studia Logica 101 (2):293-322.
Jaakko Hintikka (2002). Quantum Logic as a Fragment of Independence-Friendly Logic. Journal of Philosophical Logic 31 (3):197-209.
Erich Grädel & Jouko Väänänen (2013). Dependence and Independence. Studia Logica 101 (2):399-410.
Pietro Galliani (2013). Epistemic Operators in Dependence Logic. Studia Logica 101 (2):367-397.
Fredrik Engström & Juha Kontinen (2013). Characterizing Quantifier Extensions of Dependence Logic. Journal of Symbolic Logic 78 (1):307-316.
Pietro Galliani (2013). General Models and Entailment Semantics for Independence Logic. Notre Dame Journal of Formal Logic 54 (2):253-275.
Fan Yang (2013). Expressing Second-Order Sentences in Intuitionistic Dependence Logic. Studia Logica 101 (2):323-342.
Analytics
Monthly downloads |
Added to index2012-09-19Total downloads12 ( #94,595 of 556,840 )Recent downloads (6 months)2 ( #39,122 of 556,840 )How can I increase my downloads? |
My notes
Discussion
