default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Philosophical Logic, Volume 51
Volume 51, Number 1, February 2022
- Marco Garapa
:
Selective Base Revisions. 1-26 - Gerhard Schurz:
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism. 27-55 - Jeroen Smid:
Mind the Gap. 57-73 - Eduardo Alejandro Barrio, Federico Matias Pailos:
Validities, antivalidities and contingencies: A multi-standard approach. 75-98 - Norihiro Kamide:
Falsification-Aware Semantics and Sequent Calculi for Classical Logic. 99-126 - Zachary Goodsell:
Arithmetic is Determinate. 127-150 - Andrew Bacon, Jin Zeng:
A Theory of Necessities. 151-199 - Julien Murzi, Lorenzo Rossi:
Non-reflexivity and Revenge. 201-218
Volume 51, Number 2, April 2022
- Toby Meadows:
Did Descartes make a Diagonal Argument? 219-247 - Antonio Piccolomini d'Aragona:
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz's Semantics. 249-281 - Neil Barton, Moritz Müller, Mihai Prunescu:
On Representations of Intended Structures in Foundational Theories. 283-296 - Ilaria Canavotto, Eric Pacuit:
Choice-Driven Counterfactuals. 297-345 - Ryo Takemura:
Logic and Majority Voting. 347-382 - Wen-Fang Wang:
Multi-Path vs. Single-Path Replies to Skepticism. 383-412 - Alexander W. Kocurek, Carlotta Pavese:
The Dynamics of Argumentative Discourse. 413-456
Volume 51, Number 3, June 2022
- Andrew Tedder, Nicholas Ferenz:
Neighbourhood Semantics for Quantified Relevant Logics. 457-484 - Frederik Van De Putte, Dominik Klein:
Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics. 485-523 - Wolfgang Lenzen:
Rewriting the History of Connexive Logic. 525-553 - Fabrice Correia:
A General Theory of Location Based on the Notion of Entire Location. 555-582 - Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi:
Ideal Objects for Set Theory. 583-602 - Gillian Russell:
How to Prove Hume's Law. 603-632 - Vincenzo Crupi, Andrea Iacona:
On the Logical Form of Concessive Conditionals. 633-651 - Andreas Ditter:
Essence and Necessity. 653-690 - Richard Zach:
Corrections to: Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective). 691
Volume 51, Number 4, August 2022
- Jie Fan:
A Unified Logic for Contingency and Accident. 693-720 - Shay Allen Logan:
Depth Relevance and Hyperformalism. 721-737 - Ming Hsiung:
Designing Paradoxes: A Revision-theoretic Approach. 739-789 - Sena Bozdag, Matteo De Benedetto:
Taking Up Thagard's Challenge: A Formal Model of Conceptual Revision. 791-824 - Guillermo Badia, Zach Weber, Patrick Girard:
Paraconsistent Metatheory: New Proofs with Old Tools. 825-856 - Lu Chen:
Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories. 857-877 - Lavinia Picollo, Thomas Schindler:
Higher-Order Logic and Disquotational Truth. 879-918 - Shawn Standefer:
What is a Relevant Connective? 919-950
Volume 51, Number 5, October 2022
- Kurt Norlin:
Acceptance and Certainty, Doxastic Modals, and Indicative Conditionals. 951-971 - John Cantwell:
Revisiting McGee's Probabilistic Analysis of Conditionals. 973-1017 - Leonardo Ceragioli:
Single-Assumption Systems in Proof-Theoretic Semantics. 1019-1054 - Norihiro Kamide:
Embedding Friendly First-Order Paradefinite and Connexive Logics. 1055-1102 - Simon Goldstein:
Sly Pete in Dynamic Semantics. 1103-1117 - Selcuk Kaan Tabakci:
Subminimal Negation on the Australian Plan. 1119-1139 - Henrique Antunes, Abilio Rodrigues, Walter Carnielli, Marcelo E. Coniglio:
Valuation Semantics for First-Order Logics of Evidence and Truth. 1141-1173 - Stephan Krämer:
Mighty Belief Revision. 1175-1213
Volume 51, Number 6, December 2022
- Eduardo Barrio, Paul Égré:
Editorial Introduction: Substructural Logics and Metainferences. 1215-1231 - David Ripley:
One Step is Enough. 1233-1259 - Thomas Macaulay Ferguson, Elisángela Ramírez-Cámara:
Deep ST. 1261-1293 - Rea Golan:
Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates. 1295-1325 - Andreas Fjellstad:
Metainferential Reasoning on Strong Kleene Models. 1327-1344 - Isabella McAllister:
Classical Logic is not Uniquely Characterizable. 1345-1365 - Brian C. Porter:
Supervaluations and the Strict-Tolerant Hierarchy. 1367-1386 - Federico Matias Pailos:
Empty Logics. 1387-1415 - Pablo Cobreros, Elio La Rosa, Luca Tranchini:
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach. 1417-1452 - Rohan French:
Metasequents and Tetravaluations. 1453-1476 - Roy T. Cook:
MTV Logics. 1477-1519 - Bruno Da Ré, Damián Enrique Szmuc, Paula Teijeiro:
Derivability and Metainferential Validity. 1521-1547 - Luca Incurvati, Julian J. Schlöder:
Meta-inferences and Supervaluationism. 1549-1582 - Elia Zardini:
The Final Cut. 1583-1611
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
