default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Philosophical Logic, Volume 53
Volume 53, Number 1, February 2024
- Eric Raidl
, Gilberto Gomes:
The Implicative Conditional. 1-47 - Jared Warren:
The Liar Paradox and "Meaningless" Revenge. 49-78 - Jie Fan:
Axiomatizing Rumsfeld Ignorance. 79-97 - Qian Chen, Chenwei Shi, Yiyan Wang:
Reasoning about Dependence, Preference and Coalitional Power. 99-130 - Andrew Bacon:
Mathematical Modality: An Investigation in Higher-order Logic. 131-179 - David Hitchcock:
Tarski's Theory of the Formal Correctness of Definitions. 181-221 - Pablo Caballero, Pablo Valencia:
A Sound and Complete Tableaux Calculus for Reichenbach's Quantum Mechanics Logic. 223-245 - Balthasar Grabmayr:
A Step Towards Absolute Versions of Metamathematical Results. 247-291 - Xinhe Wu:
Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems. 293-330
Volume 53, Number 2, April 2024
- Andrew Tedder:
An Algebraic View of the Mares-Goldblatt Semantics. 331-349 - Pawel Pawlowski, Daniel Skurt:
8 Valued Non-Deterministic Semantics for Modal Logics. 351-371 - Roderick Batchelor:
First-Degree Entailment and Truthmaker Functions. 373-390 - Daniel Dohrn:
Ab Esse ad Posse Non Valet Consequentia. 391-409 - Joshua Schechter:
Supervaluationism, Modal Logic, and Weakly Classical Logic. 411-461 - Louis deRosset:
A Semantic Framework for the Impure Logic of Ground. 463-491 - Theo A. F. Kuipers:
Truthlikeness and the Number of Planets. 493-520 - Kaya Deuser, Junli Jiang, Pavel Naumov, Wenxuan Zhang:
A Dynamic Logic of Data-Informed Knowledge. 521-557 - Andrea Iacona, Lorenzo Rossi:
Naïve Truth and the Evidential Conditional. 559-584
Volume 53, Number 3, June 2024
- Marc Lange:
Jeffrey Conditionalization Permits Undermining. 585-591 - Thom van Gessel:
Questions & Indexicality. 593-621 - Ryan Simonelli:
A General Schema for Bilateral Proof Rules. 623-656 - Merel Semeijn:
Common Ground in Non-face-to-face Communication: In Sensu Diviso or In Sensu Composito. 657-678 - James Milford:
Counterpart Theory and Actuality. 679-694 - Rafal Gruszczynski, Santiago Jockwich Martinez:
Grzegorczyk and Whitehead Points: The Story Continues. 695-719 - Xavier Parent:
On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation. 721-760 - Pietro Vigiani:
A Hyperintensional Logic of Non-prime Evidence. 761-788 - Dongwoo Kim:
Exact Truthmaker Semantics for Modal Logics. 789-829
Volume 53, Number 4, August 2024
- Wesley H. Holliday, Matthew Mandelkern:
The Orthologic of Epistemic Modals. 831-907 - Nicholas Ferenz:
One Variable Relevant Logics are S5ish. 909-931 - Neil Tennant:
Which 'Intensional Paradoxes' are Paradoxes? 933-957 - Eugenio Orlandelli:
Quantified Modal Logics: One Approach to Rule (Almost) them All! 959-996 - Christopher James Masterman:
Some Ways the Ways the World Could Have Been Can't Be. 997-1025 - Giorgio Venturi, Pedro Teixeira Yago:
Modelling Afthairetic Modality. 1027-1065 - Vita Saitta:
A Truthmaker-based Epistemic Logic. 1067-1107 - Peter Hawke:
Modal Knowledge for Expressivists. 1109-1143 - Zachary Goodsell:
Arithmetic is Necessary. 1145-1159
Volume 53, Number 5, October 2024
- Uri Nodelman, Edward N. Zalta:
Number Theory and Infinity Without Mathematics. 1161-1197 - Grigory K. Olkhovikov:
An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic. 1199-1240 - Takuro Onishi:
Multiset-Multiset Frames. 1241-1264 - Lorenz Demey, Hans Smessaert:
Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition. 1265-1290 - Francesco Paoli, Adam Prenosil:
Sequent Calculi for First-order rmST. 1291-1320 - Pedro del Valle-Inclán:
Carnap's Problem, Definability and Compositionality. 1321-1346 - Sean Ebels-Duggan, Francesca Boccuni:
Explicit Abstract Objects in Predicative Settings. 1347-1382 - Igor Sedlár, Pietro Vigiani:
Epistemic Logics for Relevant Reasoners. 1383-1411 - Stephen Mackereth:
Infinity, Choice, and Hume's Principle. 1413-1439
Volume 53, Number 6, December 2024
- Samuel C. Fletcher, David E. Taylor:
Axiomatization of an Orthologic of Indeterminacy. 1441-1462 - Annica Vieser:
Fusions in Intuitionistic Mereology. 1463-1494 - Matteo De Benedetto, Elio La Rosa:
Patches, Patchworks, and Epsilon Terms: A Neo-Carnapian Account of Theoretical Terms in Science. 1495-1517 - JB Manchak, Thomas William Barrett:
Heraclitus-Maximal Worlds. 1519-1536 - Fausto Barbero, Gabriel Sandu:
Multiteam Semantics for Interventionist Counterfactuals: Probabilities and Causation. 1537-1577 - Michal Walicki:
The Structure of Paradoxes in a Logic of Sentential Operators. 1579-1639 - Camillo Fiore:
Reading Conclusions Conjunctively. 1641-1672 - Quentin Blomet, Paul Égré:
sfST and sfTS as Product and Sum. 1673-1700 - Rea Golan:
A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic. 1701-1716
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 2025-01-10 18:38 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:
