default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Philosophical Logic, Volume 9
Volume 9, Number 1, February 1980
- George Boolos:
Provability, truth, and modal logic. 1-7 - Michael Clark:
The equivalence of tautological and "strict" entailment: Proof of an amended conjecture of Lewy's. 9-15 - Max J. Cresswell:
Quotational theories of propositional attitudes. 17-40 - J. Michael Dunn:
A sieve for entailments. 41-57 - James W. Garson:
The unaxiomatizability of a quantified intensional logic. 59-72 - Wolfgang Spohn:
Stochastic independence, causal independence, and shieldability. 73-99
Volume 9, Number 2, May 1980
- Michael Bennett:
Review article. 103-132 - Kurt Gödel:
On a hitherto unexploited extension of the finitary standpoint. 133-142 - Louis Narens:
On qualitative axiomatizations for probability theory. 143-151 - Donald Nute:
Conversational scorekeeping and conditionals. 153-166 - Jari Talja:
A technical note on Lars Lindahl's Position and Change. 167-183 - Neil Tennant:
A proof-theoretic approach to entailment. 185-209
Volume 9, Number 3, August 1980
- David Bostock:
A study of type-neutrality. 211-296 - Alan F. McMichael, Edward N. Zalta:
An alternative theory of nonexistent objects. 297-313 - Bertil Rolf:
A theory of vagueness. 315-325 - Peter K. Schotch, Raymond E. Jennings:
Inference and necessity. 327-340
Volume 9, Number 4, November 1980
- Nuel D. Belnap Jr., Anil Gupta, J. Michael Dunn:
A consecutive calculus for positive relevant implication with necessity. 343-362 - David Bostock:
A study of type-neutrality - Part II: Relations. 363-414 - Graham Priest:
Sense, entailment and Modus ponens. 415-435 - William N. Reinhardt:
Necessity predicates and operators. 437-450 - Peter Roper:
Intervals and tenses. 451-469
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-02-26 20:35 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:
