default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Philosophical Logic, Volume 12
Volume 12, Number 1, February 1983
- Slawomir Bugajski:
Languages of similarity. 1-18 - Roger M. Cooke:
A result in renyi's conditional probability theory with application to subjective probability. 19-32 - Kit Fine:
The permutation principle in quantificational logic. 33-37 - Glen Helman:
An interpretation of classical proofs. 39-71 - Alan F. McMichael:
A new actualist modal semantics. 73-99
Volume 12, Number 2, May 1983
- Charles McCarty:
Intuitionism: An introduction to a seminar. 105-149 - Göran Sundholm:
Constructions, proofs and the meaning of logical constants. 151-172 - William W. Tait:
Against intuitionism: Constructive mathematics is part of classical mathematics. 173-195 - A. S. Troelstra:
Analysing choice sequences. 197-260 - Scott Weinstein:
The intended interpretation of intuitionistic logic. 261-270
Volume 12, Number 3, August 1983
- Graeme Forbes:
Physicalism, instrumentalism and the semantics of modal logic. 271-298 - Rolf George:
Bolzano's consequence, relevance, and enthymemes. 299-318 - Rolf George:
A posts cript on fallacies. 319-325 - Ernest Pore, James W. Garson:
Pronouns and quantifier-scope in English. 327-358 - Peter Schroeder-Heister:
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle. 359-377
Volume 12, Number 4, November 1983
- Hugues Leblanc:
Probability functions and their assumption sets - the singulary case. 379-402 - Wolfgang Rautenberg:
Modal tableau calculi and interpolation. 403-423 - Mark Richard:
Direct reference and ascriptions of belief. 425-452 - Glenn Shafer:
A subjective interpretation of conditional probability. 453-466 - Bas C. van Fraassen:
Shafer on conditional probability. 467-470 - Silvio Valentini:
The modal logic of provability: Cut-elimination. 471-476 - Dolph Ulrich:
The finite model property and recursive bounds on the size of countermodels. 477-480
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-01-31 22:49 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:
