- Positive modal logic beyond distributivity.Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (2):103374.details
|
|
Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions.Fausto Barbero & Gabriel Sandu - 2020 - Journal of Philosophical Logic 50 (3):471-521.details
|
|
Inquisitive bisimulation.Ivano Ciardelli & Martin Otto - 2021 - Journal of Symbolic Logic 86 (1):77-109.details
|
|
On Metaknowledge and Truth.Wybraniec-Skardowska Urszula - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 319-243.details
|
|
Disjunction and Existence Properties in Inquisitive First-Order Logic.Gianluca Grilletti - 2019 - Studia Logica 107 (6):1199-1234.details
|
|
Logics for propositional determinacy and independence.Valentin Goranko & Antti Kuusisto - 2018 - Review of Symbolic Logic 11 (3):470-506.details
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Signalling in independence-friendly logic.F. Barbero & G. Sandu - 2014 - Logic Journal of the IGPL 22 (4):638-664.details
|
|
Intentional identity revisited.Ahti Pietarinen - 2010 - Nordic Journal of Philosophical Logic 6 (2):147-188.details
|
|
Independence logic and abstract independence relations.Gianluca Paolini - 2015 - Mathematical Logic Quarterly 61 (3):202-216.details
|
|
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
|
|
On Language Adequacy.Urszula Wybraniec-Skardowska - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):257-292.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
|
|
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.details
|
|
Montague semantics.Theo M. V. Janssen - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Games: Unifying Logic, Language, and Philosophy.Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) - 2009 - Dordrecht, Netherland: Springer Verlag.details
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
On the compositional extension problem.Dag Westerståhl - 2004 - Journal of Philosophical Logic 33 (6):549-582.details
|
|
Compositionality, Relevance, and Peirce’s Logic of Existential Graphs.Ahti-Veikko Pietarinen - 2005 - Axiomathes 15 (4):513-540.details
|
|
Embedding causal team languages into predicate logic.Fausto Barbero & Pietro Galliani - 2022 - Annals of Pure and Applied Logic 173 (10):103159.details
|
|
Coherence in inquisitive first-order logic.Ivano Ciardelli & Gianluca Grilletti - 2022 - Annals of Pure and Applied Logic 173 (9):103155.details
|
|
On the Presburger fragment of logics with multiteam semantics.Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103120.details
|
|
Complexity of syntactical tree fragments of Independence-Friendly logic.Fausto Barbero - 2021 - Annals of Pure and Applied Logic 172 (1):102859.details
|
|
Logic and Sense.Urszula Wybraniec-Skardowska - 2016 - Philosophy Study 6 (9).details
|
|
John Barwise & Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena. [REVIEW]Varol Akman - 1997 - Journal of Logic, Language and Information 6 (4):460-464.details
|
|
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.details
|
|
Meeting Hintikka's Challenge to Paraconsistentism.Walter Carnielli - 2009 - Principia: An International Journal of Epistemology 13 (3):283-297.details
|
|
Why indefinites can escape scope islands.Edgar Onea - 2015 - Linguistics and Philosophy 38 (3):237-267.details
|
|
Finite information logic.Rohit Parikh & Jouko Väänänen - 2005 - Annals of Pure and Applied Logic 134 (1):83-93.details
|
|
Truth and definite truth.Tapani Hyttinen & Gabriel Sandu - 2004 - Annals of Pure and Applied Logic 126 (1-3):49-55.details
|
|
Inclusion and exclusion dependencies in team semantics—on some logics of imperfect information.Pietro Galliani - 2012 - Annals of Pure and Applied Logic 163 (1):68-84.details
|
|
Dependence logic: A new approach to independence friendly logic – by Jouko Väänänen.Gabriel Sandu - 2009 - Theoria 75 (1):52-64.details
|
|
Logic and games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
On definability of team relations with k-invariant atoms.Raine Rönnholm - 2022 - Annals of Pure and Applied Logic 173 (10):103136.details
|
|
Propositional union closed team logics.Fan Yang - 2022 - Annals of Pure and Applied Logic 173 (6):103102.details
|
|
Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.details
|
|
(1 other version)Falsity Conditions for IF-Sentences.Francien Dechesne - 2005 - Philosophia Scientiae 9 (2):305-322.details
|
|
Truth, Logical Structure, and Compositionality.Gila Sher - 2001 - Synthese 126 (1-2):195-219.details
|
|
Independence-friendly cylindric set algebras.Allen Mann - 2009 - Logic Journal of the IGPL 17 (6):719-754.details
|
|
Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts.André Bazzoni - 2015 - Journal of Philosophical Logic 44 (5):507-516.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
|
|
Dependence Logic: A survey of some recent work.Juha Kontinen - 2013 - Philosophy Compass 8 (10):950-963.details
|
|
Editorial Introduction.Juha Kontinen, Jouko Väänänen & Dag Westerståhl - 2013 - Studia Logica 101 (2):233-236.details
|
|
On the possibility of a substantive theory of truth.Gila Sher - 1998 - Synthese 117 (1):133-172.details
|
|
(1 other version)The dynamic turn in twentieth century logic.Paul Gochet - 2002 - Synthese 130 (2):175 - 184.details
|
|
Decidability of Inquisitive Modal Logic via Filtrations.Stipe Marić & Tin Perkov - forthcoming - Studia Logica:1-19.details
|
|
A first-order framework for inquisitive modal logic.Silke Meissner & Martin Otto - forthcoming - Review of Symbolic Logic:1-23.details
|
|