- Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes.Catarina Dutilh Novaes - 2007 - Dordrecht, Netherland: Springer.details
|
|
Opaque Updates.Michael Cohen - 2020 - Journal of Philosophical Logic 50 (3):447-470.details
|
|
Logic and games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - 2021 - Journal of Philosophical Logic 50 (5):939-1005.details
|
|
Extensive games as process models.Johan van Benthem - 2002 - Journal of Logic, Language and Information 11 (3):289-313.details
|
|
The logic of empirical theories revisited.Johan van Benthem - 2012 - Synthese 186 (3):775-792.details
|
|
The interrogative model of inquiry meets dynamic epistemic logics.Yacin Hamami - 2015 - Synthese 192 (6):1609-1642.details
|
|
A Propositional Dynamic Logic for Instantial Neighborhood Semantics.Johan van Benthem, Nick Bezhanishvili & Sebastian Enqvist - 2019 - Studia Logica 107 (4):719-751.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
|
|
Implicit and Explicit Stances in Logic.Johan van Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.details
|
|
Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.details
|
|
Verification and Strategy Synthesis for Coalition Announcement Logic.Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin & Tuo Wang - 2021 - Journal of Logic, Language and Information 30 (4):671-700.details
|
|
Implicit and Explicit Stances in Logic.Johan Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.details
|
|
A New Game Equivalence, its Logic and Algebra.Sebastian Enqvist, Nick Bezhanishvili & Johan Benthem - 2019 - Journal of Philosophical Logic 48 (4):649-684.details
|
|
Coalition and Relativised Group Announcement Logic.Rustam Galimullin - 2021 - Journal of Logic, Language and Information 30 (3):451-489.details
|
|
A New Game Equivalence, its Logic and Algebra.Johan van Benthem, Nick Bezhanishvili & Sebastian Enqvist - 2019 - Journal of Philosophical Logic 48 (4):649-684.details
|
|
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.details
|
|
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
|
|
Abstract argument games via modal logic.Davide Grossi - 2013 - Synthese 190 (S1).details
|
|
Legal Facts in Argumentation-Based Litigation Games.Minghui Xiong & Frank Zenker - 2017 - Argumentation 32 (2):197-211.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Between Imagination and Gambling. The Forms of Validity in Scholastic Logic.Miroslav Hanke - 2020 - History and Philosophy of Logic 41 (4):331-351.details
|
|
The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.details
|
|
Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences.Fausto Barbero - 2017 - Journal of Logic, Language and Information 26 (3):221-260.details
|
|
Implicit Versus Explicit Knowledge in Dialogical Logic.Manuel Rebuschi - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 229--246.details
|
|
Formalizations après la lettre: Studies in Medieval Logic and Semantics.Catarina Dutilh Novaes - 2006 - Dissertation, Leiden Universitydetails
|
|
La expresión de lo cognoscible y los mundos posibles.Paulo Velez Leon - 2016 - In Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto (eds.), Temas em filosofia contemporânea II. Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina. pp. 64-74.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
|
|
Some non-classical approaches to the Brandenburger–Keisler paradox.Can Başkent - 2015 - Logic Journal of the IGPL 23 (4):533-552.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
A Modal Logic for Supervised Learning.Alexandru Baltag, Dazhu Li & Mina Young Pedersen - 2022 - Journal of Logic, Language and Information 31 (2):213-234.details
|
|
Natural Language and Logic of Agency.Johan van Benthem - 2014 - Journal of Logic, Language and Information 23 (3):367-382.details
|
|
Logics and algebras for multiple players.Loes Olde Loohuis & Yde Venema - 2010 - Review of Symbolic Logic 3 (3):485-519.details
|
|
The logic of empirical theories revisited.Johan Benthem - 2012 - Synthese 186 (3):775 - 792.details
|
|
Representing strategic games and their equilibria in many-valued logics.Libor Běhounek, Petr Cintula, Chris Fermüller & Tomáš Kroupa - 2016 - Logic Journal of the IGPL 24 (3):238-267.details
|
|
Erratum to: Between proof and truth.Julien Boyer & Gabriel Sandu - 2012 - Synthese 187 (3):973-974.details
|
|
Dynamic Introspection.Michael Cohen - 2021 - Dissertation, Stanford Universitydetails
|
|
Louis Joly as a Platonist Painter?Roger Pouivet - 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. 337--341.details
|
|
A History Based Logic for Dynamic Preference Updates.Can Başkent & Guy McCusker - 2020 - Journal of Logic, Language and Information 29 (3):275-305.details
|
|
El enfoque epistemológico de David Hilbert: el a priori del conocimiento y el papel de la lógica en la fundamentación de la ciencia.Rodrigo Lopez-Orellana - 2019 - Principia: An International Journal of Epistemology 23 (2):279-308.details
|
|
On the use (and abuse) of Logic in Game Theory.Eric Pacuit - 2015 - Journal of Philosophical Logic 44 (6):741-753.details
|
|
Generalized Quantifiers Meet Modal Neighborhood Semantics.Dag Westerståhl & Johan van Benthem - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 187-206.details
|
|
Temas em filosofia contemporânea II.Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto - 2016 - Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina.details
|
|