- Game theoretical semantics for some non-classical logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.details
|
|
IF logic and the foundations of mathematics.Gabriel Sandu & Tapani Hyttinen - 2001 - Synthese 126 (1-2):37-47.details
|
|
Truth, Logical Structure, and Compositionality.Gila Sher - 2001 - Synthese 126 (1-2):195-219.details
|
|
Meeting Hintikka's Challenge to Paraconsistentism.Walter Carnielli - 2009 - Principia: An International Journal of Epistemology 13 (3):283-297.details
|
|
Thompson Transformations for If-Logic.Francien Dechesne - 2006 - Synthese 149 (2):285-309.details
|
|
On The Computational Consequences of Independence in Propositional Logic.Merlijn Sevenster - 2006 - Synthese 149 (2):257-283.details
|
|
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.details
|
|
Theory and Reality : Metaphysics as Second Science.Staffan Angere - unknowndetails
|
|
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
|
|
Exploring the beta quadrant.Ahti-Veikko Pietarinen - 2015 - Synthese 192 (4):941-970.details
|
|
The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.details
|
|
Equivalence and quantifier rules for logic with imperfect information.Xavier Caicedo, Francien Dechesne & Theo Janssen - 2008 - Logic Journal of the IGPL 17 (1):91-129.details
|
|
Against Harmony: Infinite Idealizations and Causal Explanation.Iulian D. Toader - 2015 - In Ilie Pȃrvu, Gabriel Sandu & Iulian D. Toader (eds.), Romanian Studies in Philosophy of Science. Boston Studies in the Philosophy and History of Science, vol. 313: Springer. pp. 291-301.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
|
|
Dialectique de la nature pensante: la construction de la cognition mathématique.Emmanuel Barot - 2002 - Philosophia Scientiae 6 (1):33-72.details
|
|
Truth, negation and other basic notions of logic.Jaakko Hintikka - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 195--219.details
|
|
Independence-friendly logic and games of incomplete information.Ahti-Veikko Pietarinen - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 243--259.details
|
|
Games, quantification and discourse structure.Robin Clark - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 139--150.details
|
|
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 249--350.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
|
|
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.details
|
|
The aim of Russell’s early logicism: a reinterpretation.Anders Kraal - 2014 - Synthese 191 (7):1-18.details
|
|
Transition semantics: the dynamics of dependence logic.P. Galliani - 2014 - Synthese 191 (6):1249-1276.details
|
|
Semantic games with chance moves revisited: from IF logic to partial logic.Xuefeng Wen & Shier Ju - 2013 - Synthese 190 (9):1605-1620.details
|
|
Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.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
|
|
IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - Studia Logica 102 (1):41-66.details
|
|
Between proof and truth.Julien Boyer & Gabriel Sandu - 2012 - Synthese 187 (3):821-832.details
|
|
Independendly‐Friendly Logic: Dependence and Independence of Quantifiers in Logic.Gabriel Sandu - 2012 - Philosophy Compass 7 (10):691-711.details
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
If Logic, Definitions and the Vicious Circle Principle.Jaakko Hintikka - 2012 - Journal of Philosophical Logic 41 (2):505-517.details
|
|
Erratum to: Between proof and truth.Julien Boyer & Gabriel Sandu - 2012 - Synthese 187 (3):973-974.details
|
|
How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.details
|
|
'Identity' without Identity.Alessandro Torza - 2012 - Mind 121 (481):67-95.details
|
|
Method of Analysis: A Paradigm of Mathematical Reasoning?Jaakko Hintikka - 2012 - History and Philosophy of Logic 33 (1):49 - 67.details
|
|
What kind of logic is “Independence Friendly” logic?Solomon Feferman - unknowndetails
|
|
The Indefinability of âOneâ.Laurence Goldstein - 2002 - Journal of Philosophical Logic 31 (1):29-42.details
|
|
Games: Unifying Logic, Language, and Philosophy.Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) - 2009 - Dordrecht, Netherland: Springer Verlag.details
|
|
The use-theory of meaning and the rules of our language games.Jaroslav Peregrin - 2011 - In Ken Turner (ed.), Making Semantics Pragmatic. Emerald Group Publishing.details
|
|
Computational Complexity of Polyadic Lifts of Generalized Quantifiers in Natural Language.Jakub Szymanik - 2010 - Linguistics and Philosophy 33 (3):215-250.details
|
|
What is the axiomatic method?Jaakko Hintikka - 2011 - Synthese 183 (1):69-85.details
|
|
Hybrid logic meets if modal logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.details
|
|
(1 other version)Dependence logic: A new approach to independence friendly logic – by Jouko Väänänen.Gabriel Sandu - 2009 - Theoria 75 (1):52-64.details
|
|
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
Logika a logiky.Jaroslav Peregrin - manuscriptdetails
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 151--161.details
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
On the meaning of Hilbert's consistency problem (paris, 1900).Enrico Moriconi - 2003 - Synthese 137 (1-2):129 - 139.details
|
|