Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Philosophical Logic, Volume 30
Volume 30, Number 1, February 2001
- John F. Phillips
:
Modal Logics of Succession for 2-Dimensional Integral Spacetime. 1-25 - Hans Halvorson:
On the Nature of Continuous Physical Quantities in Classical and Quantum Mechanics. 27-50 - Kenneth Harris, Branden Fitelson:
Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. 51-55 - Dominic Gregory:
Completeness and Decidability Results for Some Propositional Modal Logics Containing "Actually" Operators. 57-78 - Theodore Hailperin:
Potential Infinite Models and Ontologically Neutral Logic. 79-96
Volume 30, Number 2, April 2001
- Tomasz Bigaj:
Three-valued Logic, Indeterminacy and Quantum Mechanics. 97-119 - Tim Fernando:
A Type Reduction from Proof-conditional to Dynamic Semantics. 121-153 - David Makinson, Leendert W. N. van der Torre:
Constraints for Input/Output Logics. 155-185
Volume 30, Number 3, June 2001
- John Neil Martin:
Proclus and the Neoplatonic Syllogistic. 187-240 - Per Lindström:
Penrose's New Argument. 241-250 - Achille C. Varzi:
The Best Question. 251-258 - Leon Horsten, Hannes Leitgeb:
No Future. 259-265 - Diderik Batens:
A Dynamic Characterization of the Pure Logic of Relevant Implication. 267-280
Volume 30, Number 4, August 2001
- Hannes Leitgeb:
Truth as Translation - Part A. 281-307 - Hannes Leitgeb:
Truth as Translation - Part B. 309-328 - Jody Azzouni:
Truth Via Anaphorically Unrestricted Quantifiers. 329-354 - Yannis Stephanou:
Indexed Actuality. 355-393
Volume 30, Number 5, October 2001
- Lloyd Humberstone:
The Pleasures of Anticipation: Enriching Intuitionistic Logic. 395-438 - Mark Lance:
The Logical Structure of Linguistic Commitment III Brandomian Scorekeeping and Incompatibility. 439-464 - Storrs McCall:
Axiomatic Quantum Theory. 465-477 - Horacio L. Arló-Costa, Richmond H. Thomason:
Iterative Probability Kinematics. 479-524
Volume 30, Number 6, December 2001
- Dongmo Zhang, Norman Y. Foo:
Infinitary Belief Revision. 525-570 - Holger Sturm, Frank Wolter:
First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. 571-591 - Bradley Armour-Garb, J. C. Beall:
Can Deflationists be Dialetheists? 593-608 - Tim S. Roberts:
Some Thoughts about the Hardest Logic Puzzle Ever. 609-612 - Warren D. Goldfarb:
First-Order Frege Theory is Undecidable. 613-616
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-07-02 21:31 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:
