- On a Combination of Truth and Probability: Probabilistic Independence-Friendly Logic.Gabriel Sandu - 2015 - In Alexandru Manafu (ed.), The Prospects for Fusion Emergence. Boston Studies in the Philosophy and History of Science, vol. 313: Boston Studies in the Philosophy and History of Science, vol. 313.details
|
|
Computational Complexity of Polyadic Lifts of Generalized Quantifiers in Natural Language.Jakub Szymanik - 2010 - Linguistics and Philosophy 33 (3):215-250.details
|
|
2006 Summer Meeting of the Association for Symbolic Logic Logic Colloquium '06: Nijmegen, The Netherlands July 27-August 2, 2006. [REVIEW]Helmut Schwichtenberg - 2007 - Bulletin of Symbolic Logic 13 (2):251-298.details
|
|
On The Computational Consequences of Independence in Propositional Logic.Merlijn Sevenster - 2006 - Synthese 149 (2):257-283.details
|
|
Dichotomy result for independence-friendly prefixes of generalized quantifiers.Merlijn Sevenster - 2014 - Journal of Symbolic Logic 79 (4):1224-1246.details
|
|
Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.details
|
|
Partially interpreted relations and partially interpreted quantifiers.Gabriel Sandu - 1998 - Journal of Philosophical Logic 27 (6):587-601.details
|
|
Independendly‐Friendly Logic: Dependence and Independence of Quantifiers in Logic.Gabriel Sandu - 2012 - Philosophy Compass 7 (10):691-711.details
|
|
If-logic and truth-definition.Gabriel Sandu - 1998 - Journal of Philosophical Logic 27 (2):143-164.details
|
|
Aspects of compositionality.Gabriel Sandu & Jaakko Hintikka - 2001 - Journal of Logic, Language and Information 10 (1):49-61.details
|
|
A Logical Analysis of Monty Hall and Sleeping Beauty.Allen L. Mann & Ville Aarnio - 2018 - Studia Logica 106 (6):1123-1162.details
|
|
Henkin and function quantifiers.Michael Krynicki & Jouko Väänänen - 1989 - Annals of Pure and Applied Logic 43 (3):273-292.details
|
|
Partially ordered connectives and monadic monotone strict np.Lauri Hella, Merlijn Sevenster & Tero Tulenheimo - 2008 - Journal of Logic, Language and Information 17 (3):323-344.details
|
|
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic.Erich Grädel & Gregory L. McColm - 1996 - Annals of Pure and Applied Logic 77 (2):169-199.details
|
|
Succinctness as a source of complexity in logical formalisms.Georg Gottlob, Nicola Leone & Helmut Veith - 1999 - Annals of Pure and Applied Logic 97 (1-3):231-260.details
|
|
Relativized logspace and generalized quantifiers over finite ordered structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.details
|
|
Relativized logspace and generalized quantifiers over finite ordered structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.details
|
|
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information.Pietro Galliani & Allen L. Mann - 2013 - Studia Logica 101 (2):293-322.details
|
|
Alternating (In)Dependence-Friendly Logic.Dylan Bellier, Massimo Benerecetti, Dario Della Monica & Fabio Mogavero - 2023 - Annals of Pure and Applied Logic 174 (10):103315.details
|
|
Signalling in independence-friendly logic.F. Barbero & G. Sandu - 2014 - Logic Journal of the IGPL 22 (4):638-664.details
|
|
Complexity of syntactical tree fragments of Independence-Friendly logic.Fausto Barbero - 2021 - Annals of Pure and Applied Logic 172 (1):102859.details
|
|
Generalized Quantification as Substructural Logic.Natasha Alechina & Michiel Van Lambalgen - 1996 - Journal of Symbolic Logic 61 (3):1006 - 1044.details
|
|
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Problems with Logical Form.Jakub Szymanik - 2004 - Studia Semiotyczne—English Supplement 25:85-100.details
|
|