![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal 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
![](https://dblp1.uni-trier.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.