Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Philosophical Logic, Volume 47
Volume 47, Number 1, February 2018
- Dilip Ninan:
Relational Semantics and Domain Semantics for Epistemic Modals. 1-16 - Rush T. Stewart
, Ignacio Ojea Quintana:
Probabilistic Opinion Pooling with Imprecise Probabilities. 17-45 - Wolfgang Schwarz:
Subjunctive Conditional Probability. 47-66 - Chrysafis Hartonas:
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework. 67-94 - Tyke Nunez:
Modeling Unicorns and Dead Cats: Applying Bressan's ML ν to the Necessary Properties of Non-existent Objects. 95-121 - Ethan Brauer:
Second-order Logic and the Power Set. 123-142 - Morgan Thomas:
Approximating Cartesian Closed Categories in NF-Style Set Theories. 143-160
Volume 47, Number 2, April 2018
- Johannes Korbmacher:
Axiomatic Theories of Partial Ground I. 161-191 - Johannes Korbmacher:
Axiomatic Theories of Partial Ground II. 193-226 - Volker Halbach, Carlo Nicolai:
On the Costs of Nonclassical Logic. 227-257 - Grigory K. Olkhovikov, Heinrich Wansing:
An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. 259-279 - Michael De, Hitoshi Omori:
There is More to Negation than Modality. 281-299 - Norihiro Kamide:
Proof Theory of Paraconsistent Quantum Logic. 301-324 - Lorenz Demey, Hans Smessaert:
Combinatorial Bitstring Semantics for Arbitrary Logical Fragments. 325-363
Volume 47, Number 3, June 2018
- Deniz Rudin:
Uncertainty and Persistence: a Bayesian Update Semantics for Probabilistic Expressions. 365-405 - Peter Fritz:
Higher-Order Contingentism, Part 2: Patterns of Indistinguishability. 407-418 - Riccardo Bruni, Giacomo Sillari:
A Rational Way of Playing: Revision Theory for Strategic Interaction. 419-448 - Thomas Schindler:
Some Notes on Truths and Comprehension. 449-479 - Jesse Heyninck, Peter Verdée, Albrecht Heeffer:
Handling Inconsistencies in the Early Calculus. 481-511 - Michael Caie:
Agreement and Updating For Self-Locating Belief. 513-547 - Carlo Nicolai, Lorenzo Rossi:
Principles for Object-Linguistic Consequence: from Logical to Irreflexive. 549-577
Volume 47, Number 4, August 2018
- Robert A. Kowalski, Ken Satoh:
Obligation as Optimal Goal Satisfaction. 579-609 - Bruno Da Ré, Lucas Rosenblatt:
Contraction, Infinitary Quantifiers, and Omega Paradoxes. 611-629 - Jack Woods:
Emptying a Paradox of Ground. 631-648 - Peter Fritz:
Higher-Order Contingentism, Part 3: Expressive Limitations. 649-671 - Guillermo Badia:
On Sahlqvist Formulas in Relevant Logic. 673-691 - Francesco Berto, Rohan French, Graham Priest, David Ripley:
Williamson on Counterpossibles. 693-713 - Isaac Wilhelm:
The Representation of Belief. 715-732
Volume 47, Number 5, October 2018
- Andrew Bacon:
The Broadest Necessity. 733-783 - Andrew Bacon:
Correction to: The Broadest Necessity. 785 - Simon Thomas Hewitt:
Rosy with Sider? The Case of the Metaphysical Liar. 787-801 - Amr Elnashar, Wafik Boulos Lotfallah:
Minimal Complete Propositional Natural Deduction Systems. 803-815 - Johannes Stern:
Supervaluation-Style Truth Without Supervaluations. 817-850 - Mario Günther:
Learning Conditional Information by Jeffrey Imaging on Stalnaker Conditionals. 851-876 - Holger Andreas:
Modular Semantics for Theories: An Approach to Paraconsistent Reasoning. 877-912
Volume 47, Number 6, December 2018
- Minghui Ma, Ahti-Veikko Pietarinen:
Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction. 913-945 - Dustin Tucker:
Variable Priorities and Exclusionary Reasons in Input/Output Logic. 947-964 - Horacio L. Arló-Costa, Hailin Liu:
A Representation Result for Value-based Contraction. 965-989 - Andrew Bacon, Gabriel Uzquiano:
Some Results on the Limits of Thought. 991-999 - Moritz Schulz:
Modus Ponens Under the Restrictor View. 1001-1028 - Luca Tranchini:
Stabilizing Quantum Disjunction. 1029-1047 - Eric Johannesson:
Partial Semantics for Quantified Modal Logic. 1049-1060 - Sébastien Richard:
A Meinongian Way out of the Polish Proofs Against General Objects. 1061-1084 - Nicholas Asher, Soumya Paul, Antoine Venant:
Correction to: Message Exchange Games in Strategic Contexts. 1085
a service of 
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-04-22 20:02 CEST 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:
