- (2 other versions)2005–06 Winter Meeting of the Association for Symbolic Logic.Haim Gaifman - 2006 - Bulletin of Symbolic Logic 12 (3):503-516.details
|
|
(2 other versions)Of the association for symbolic logic.Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman - 2006 - Bulletin of Symbolic Logic 12 (3-4):503.details
|
|
2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05.Stan S. Wainer - 2006 - Bulletin of Symbolic Logic 12 (2):310-361.details
|
|
2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08.Alex J. Wilkie - 2009 - Bulletin of Symbolic Logic 15 (1):95-139.details
|
|
Relating Semantics for Epistemic Logic.Alessandro Giordani - 2021 - Logic and Logical Philosophy 30 (4):681-709.details
|
|
How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report.Rafael Testa, Eduardo Fermé, Marco Garapa & Maurício Reis - 2018 - 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING.details
|
|
Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
A logic of knowing why.Chao Xu, Yanjing Wang & Thomas Studer - 2021 - Synthese 198 (2):1259-1285.details
|
|
Natural deduction and semantic models of justification logic in the proof assistant Coq.Jesús Mauricio Andrade Guzmán & Francisco Hernández Quiroz - forthcoming - Logic Journal of the IGPL.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
|
|
On formal aspects of the epistemic approach to paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Marco Ruffino, Max Freund & Max Fernández de Castro (eds.), Logic and philosophy of logic. Recent trends from Latin America and Spain. College Publications. pp. 48-74.details
|
|
Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2.details
|
|
Fitch's Paradox and the Problem of Shared Content.Thorsten Sander - 2006 - Abstracta 3 (1):74-86.details
|
|
Justification logics and hybrid logics.Melvin Fitting - 2010 - Journal of Applied Logic 8 (4):356-370.details
|
|
A new framework for justification logic.Alessandro Giordani - 2015 - Journal of Applied Non-Classical Logics 25 (4):308-323.details
|
|
Logic of Implicit and Explicit Justifiers.Alessandro Giordani - 2016 - In L. Felline, A. Ledda, F. Paoli & E. Rossanese (eds.), New Directions in Logic and the Philosophy of Science. College Publications. pp. 119-131.details
|
|
Names, Descriptions, and Assertion.Ray Buchanan - 2014 - In Zsu-Wei Hung (ed.), Communicative Action. Springer. pp. 03-15.details
|
|
The Paradox of the Knower revisited.Walter Dean & Hidenori Kurokawa - 2014 - Annals of Pure and Applied Logic 165 (1):199-224.details
|
|
The intuitionistic fragment of computability logic at the propositional level.Giorgi Japaridze - 2007 - Annals of Pure and Applied Logic 147 (3):187-227.details
|
|
Derivability in certain subsystems of the Logic of Proofs is-complete.Robert Milnikel - 2007 - Annals of Pure and Applied Logic 145 (3):223-239.details
|
|
A Logic of Justification and Truthmaking.Alessandro Giordani - 2013 - Review of Symbolic Logic 6 (2):323-342.details
|
|
Modal collapse in Gödel's ontological proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.details
|
|
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.details
|
|
The Ontology of Justifications in the Logical Setting.Sergei N. Artemov - 2012 - Studia Logica 100 (1-2):17-30.details
|
|
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.details
|
|
Justification logic.Melvin Fitting - manuscriptdetails
|
|
(1 other version)A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons.Meghdad Ghari - 2023 - Artificial Intelligence and Law 31:1-43.details
|
|
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs.Amir Farahmand Parsa & Meghdad Ghari - 2023 - Studia Logica 111 (4):573-613.details
|
|
Linear temporal justification logics with past and future time modalities.Meghdad Ghari - 2023 - Logic Journal of the IGPL 31 (1):1-38.details
|
|
Games, Norms and Reasons: Logic at the Crossroads.Johan van Benthem, Amitabha Gupta & Eric Pacuit (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
A Reinterpretation of the Semilattice Semantics with Applications.Yale Weiss - 2021 - Logica Universalis 15 (2):171-191.details
|
|
A Proof Theory for the Logic of Provability in True Arithmetic.Hirohiko Kushida - 2020 - Studia Logica 108 (4):857-875.details
|
|
A hyperintensional logical framework for deontic reasons.Federico L. G. Faroldi & Tudor Protopopescu - 2019 - Logic Journal of the IGPL 27 (4):411-433.details
|
|
Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.details
|
|
First steps towards probabilistic justification logic.Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović & Thomas Studer - 2015 - Logic Journal of the IGPL 23 (4):662-687.details
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
2004 Annual Meeting of the Association for Symbolic Logic.Sergei Artemov - 2005 - Bulletin of Symbolic Logic 11 (1):92-119.details
|
|
Discovering knowability: a semantic analysis.Sergei Artemov & Tudor Protopopescu - 2013 - Synthese 190 (16):3349-3376.details
|
|
Fluctuations, effective learnability and metastability in analysis.Ulrich Kohlenbach & Pavol Safarik - 2014 - Annals of Pure and Applied Logic 165 (1):266-304.details
|
|
Evidence and plausibility in neighborhood structures.Johan van Benthem, David Fernández-Duque & Eric Pacuit - 2014 - Annals of Pure and Applied Logic 165 (1):106-133.details
|
|
Introduction to computability logic.Giorgi Japaridze - 2003 - Annals of Pure and Applied Logic 123 (1-3):1-99.details
|
|
A modal type theory for formalizing trusted communications.Giuseppe Primiero & Mariarosaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.details
|
|
Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.details
|
|
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.details
|
|
(1 other version)Gödel's functional interpretation and its use in current mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.details
|
|
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
An Algorithmic Impossible-Worlds Model of Belief and Knowledge.Zeynep Soysal - 2024 - Review of Symbolic Logic 17 (2):586-610.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|