![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Journal of Philosophical Logic, Volume 26
Volume 26, Number 1, February 1997
- G. Y. Sher:
Partially-Ordered (Branching) Generalized Quantifiers: A General Definition. 1-43 - Graham Priest:
On a Paradox of Hilbert and Bernays. 45-56 - Yannis Delmas-Rigoutsos:
A Double Deduction System for Quantum Logic Based On Natural Deduction. 57-67 - Volker Halbach:
Tarskian and Kripkean truth. 69-80 - Ian M. Hodkinson, András Simon:
The k-variable property is stronger than H-dimension k. 81-101 - John A. Burgess:
Supervaluations and the Propositional Attitude Constraint. 103-119
Volume 26, Number 2, April 1997
- Geoffrey Hellman:
Quantum Mechanical Unbounded Operators and Constructive Mathematics - a Rejoinder to Bridges. 121-127 - Steven K. Thomason:
Relational Models for the Modal Syllogistic*. 129-141 - Charles B. Cross:
The Modal Logic of Discrepancy. 143-168 - Peter Apostoli:
On the completeness of first degree weakly aggregative modal logics. 169-180 - Paul St. Denis, Patrick Grim:
Fractal Images of Formal Systems. 181-222 - Graham Priest:
Inconsistent Models of Arithmetic Part I: Finite Models. 223-235
Volume 26, Number 3, June 1997
- George Boolos:
Constructing Cantorian counterexamples. 237-239 - Franz von Kutschera:
T × W Completeness. 241-250 - Peter Roeper:
Region-Based Topology. 251-309 - Zlatan Damnjanovic:
Elementary realizability. 311-339 - I. L. Humberstone:
Singulary Extensional Connectives: A Closer Look. 341-356
Volume 26, Number 4, August 1997
- Frank Döring:
The Ramsey Test and Conditional Semantics. 359-376 - Chris Mortensen:
The Leibniz Continuity Condition, Inconsistency and Quantum Dynamics. 377-389 - Timothy J. Surendonk
:
Canonicity for Intensional Logics Without Iterative Axioms. 391-409 - Michael Kaminski:
The elimination of de re formulas. 411-422 - Sven Ove Hansson:
Situationist Deontic Logic. 423-448 - Ken Gemes:
A New Theory of Content II: Model Theory and Some Alternatives. 449-476
Volume 26, Number 5, October 1997
- Melvin Fitting:
A Theory of Truth that Prefers Falsehood. 477-500 - James Hardy:
Three Problems for the Singularity Theory of Truth. 501-520 - Thomas Schwartz:
De Re Language, De Re Eliminability, and the Essential Limits of Both. 521-544 - Frank Wolter
:
A Note on the Interpolation Property in Tense Logic. 545-551 - Fred Johnson:
Extended Gergonne Syllogisms. 553-567 - Claudio Pizzi, Timothy Williamson:
Strong Boethius' Thesis and Consequential Implication. 569-588
Volume 26, Number 6, December 1997
- Richard G. Heck Jr.:
Finitude and Hume's Principle. 589-617 - Allen P. Hazen:
Relations in Monadic Third-Order Logic. 619-628 - Michael Kremer:
Marti on Descriptions in Carnap'S S2. 629-634 - Leon Horsten:
Provability in Principle and Controversial Constructivistic Principles. 635-660 - Helen Billinge:
A Constructive Formulation of Gleason's Theorem. 661-670 - Grigori Mints:
Indexed systems of sequents and cut-elimination. 671-696
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.