- Classical Negation and Game-Theoretical Semantics.Tero Tulenheimo - 2014 - Notre Dame Journal of Formal Logic 55 (4):469-498.details
|
|
Why Play Logical Games?Mathieu Marion - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 3--26.details
|
|
Henkin Quantifiers and Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.details
|
|
Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.details
|
|
(1 other version)Quantifiers vs. Quantification Theory.Jaakko Hintikka - 1973 - Dialectica 27 (3‐4):329-358.details
|
|
Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.details
|
|
(1 other version)Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.details
|
|
Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Clarendon Press.details
|
|
Logic, language-games and information: Kantian themes in the philosophy of logic.Jaakko Hintikka - 1973 - Oxford,: Clarendon Press.details
|
|
Some aspects of negation in English.Gabriel Sandu - 1994 - Synthese 99 (3):345 - 360.details
|
|
On the development of the model-theoretic viewpoint in logical theory.Jaakko Hintikka - 1988 - Synthese 77 (1):1 - 36.details
|
|
A revolution in the foundations of mathematics?Jaakko Hintikka - 1997 - Synthese 111 (2):155-170.details
|
|
From compositional to systematic semantics.Wlodek Zadrozny - 1994 - Linguistics and Philosophy 17 (4):329 - 342.details
|
|
(1 other version)Finite partially-ordered quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.details
|
|
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
Independent choices and the interpretation of IF logic.Theo M. V. Janssen - 2002 - Journal of Logic, Language and Information 11 (3):367-387.details
|
|
Henkin quantifiers and the definability of truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.details
|
|
Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.details
|
|
No scope for scope?Jaakko Hintikka - 1997 - Linguistics and Philosophy 20 (5):515-544.details
|
|
Quantum logic as a fragment of independence-friendly logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.details
|
|
(1 other version)Hyperclassical logic (A.K.A. IF logic) and its implications for logical theory.Jaakko Hintikka - 2002 - Bulletin of Symbolic Logic 8 (3):404-423.details
|
|
Independence-friendly logic without Henkin quantification.Fausto Barbero, Lauri Hella & Raine Rönnholm - 2021 - Archive for Mathematical Logic 60 (5):547-597.details
|
|
Complexity of syntactical tree fragments of Independence-Friendly logic.Fausto Barbero - 2021 - Annals of Pure and Applied Logic 172 (1):102859.details
|
|
(1 other version)Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (3):171-172.details
|
|
(1 other version)Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73.details
|
|
(2 other versions)On a Generalization of Quantifiers.A. Mostowski - 1958 - Journal of Symbolic Logic 23 (2):217-217.details
|
|
Signalling In Languages With Imperfect Information.Gabriel Sandu - 2001 - Synthese 127 (1-2):21-34.details
|
|
IF logic and the foundations of mathematics.Gabriel Sandu & Tapani Hyttinen - 2001 - Synthese 126 (1-2):37-47.details
|
|
Partially ordered connectives.Gabriel Sandu & Jouko Väänänen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):361-372.details
|
|
The Game of Language: Studies in Game-Theoretical Semantics and Its Applications.Jaakko Hintikka - 1983 - Springer Verlag.details
|
|
Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.details
|
|
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.Alfred Tarski & John Corcoran (eds.) - 1983 - New York, NY, USA: Hackett Publishing Company.details
|
|
Anaphora and Definite Descriptions: Two Applications of Game-Theoretical Semantics.Jaakko Hintikka, Kaarlo Jaakko Juhani Hintikka & J. Kulas - 1985 - Springer.details
|
|
A Revolution In Logic?Jaakko Hintikka & Gabriel Sandu - 1996 - Nordic Journal of Philosophical Logic 1:169-183.details
|
|
Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts.André Bazzoni - 2015 - Journal of Philosophical Logic 44 (5):507-516.details
|
|
Game-Theoretical Semantics as a challenge to proof theory.Jaakko Hintikka - 1999 - Nordic Journal of Philosophical Logic 4:127-142.details
|
|
Partially ordered connectives and finite graphs.Lauri Hella & Gabriel Sandu - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.), Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 79--88.details
|
|
Probabilistic IF Logic.Gabriel Sandu - 2013 - In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 69--79.details
|
|
On existential declarations of independence in if logic.Fausto Barbero - 2013 - Review of Symbolic Logic 6 (2):254-280.details
|
|
Hierarchies of Partially Ordered Connectives and Quantifiers.Michał Krynicki - 1993 - Mathematical Logic Quarterly 39 (1):287-294.details
|
|
Henkin Quantifiers.M. Krynicki & M. Mostowski - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.), Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 193--263.details
|
|
How indefinites choose their scope.Adrian Brasoveanu & Donka F. Farkas - 2011 - Linguistics and Philosophy 34 (1):1-55.details
|
|
Independence-friendly logic: a game-theoretic approach.Allen L. Mann - 2011 - New York: Cambridge University Press. Edited by Gabriel Sandu & Merlijn Sevenster.details
|
|
Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.details
|
|
A Remark on Henkin Sentences and Their Contraries.John P. Burgess - 2003 - Notre Dame Journal of Formal Logic 44 (3):185-188.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
|
|
On mathematical proofs of the vacuity of compositionality.dag westerståhl - 1998 - Linguistics and Philosophy 21 (6):635-643.details
|
|
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.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
|
|