Johan van Benthem


Home / Activities / Publications / Teaching / Research / Talks


Publications: Papers in Journals: 1980s

1970s 1980    1981    1982     1983    1984    1985     1986    1987    1988     1989 1990s



1980
 Some Kinds of Modal Completeness. Studia Logica 39:2-3, pags 125-141.


1981
 Historische Vergissingen? Kanttekeningen bij de Fregeaanse Revolutie in de Logica. Kennis en Methode 5:2, pags 94-116.
 Fundering of Ondermijning? Nieuw Archief voor Wiskunde 29:3, pags 254-284.


1982
 The Dynamics of Interpretation. Journal of Semantics 1, pags 3-20. [with Jan van Eyck].
 The Logical Study of Science. Synthese 51:3, pags 431-472.
 Later than Late: on the Logical Origin of the Temporal Order. Pacific Philosophical Quarterly 63, pags 193-203.


1983
 Logical Semantics as an Empirical Science. Studia Logica, 42:2-3, pags 299-313.
 Halldén Completeness by Glueing of Kripke Frames. Notre Dame Journal of Formal Logic, 24:4, pags 426-430. [with Lloyd Humberstone].
 Determiners and Logic. Linguistics and Philosophy, 6:4, pags 447-478.


1984
 Questions about Quantifiers. Journal of Symbolic Logic, 49:2, pags 443-466.
 Tense Logic and Time. Notre Dame Journal of Formal Logic, 25:1, pags 1-16.
 Foundations of Conditional Logic. Journal of Philosophical Logic, 13:3, pags 303-349.
 A Mathematical Characterization of Interpretation between Theories. Studia Logica, 43:3, pags 295-303. [with David Pearce].
 Possible Worlds Semantics: a Research Program that Cannot Fail? Studia Logica, 43:4, pags 379-393.
 Analytic/Synthetic: Sharpening a Philosophical Tool. Theoria, 50:2-3, pags 106-137.


1985
 Situations and Inference. Linguistics and Philosophy, 8, pags 3-9.
 The Variety of Consequence, According to Bolzano. Studia Logica, 44:4, pags 389-403.


1986
 Tenses in Real Time. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 32, pags 61-72.
 Partiality & Non-Monmotonicity in Classical Logic. Logique et Analyse, 29, pags 225-247.
 The Relational Theory of Meaning. Logique et Analyse, 29, pags 251-273.


1987
 Meaning: Interpretation and Inference. Synthese, 73:3, pags 451-470.


1988
 A Note on Jónsson's Theorem. Algebra Universalis, 25, pags 391-393.
 Vragen om Typen. GLOT, 10:3, pags 333-352.
 Logical Syntax. Theoretical Linguistics, 14, pags 119-142.


1989
 Notes on Modal Definability. Notre Dame Journal of Formal Logic, 30:1, pags 20–35.
 Polyadic Quantifiers. Linguistics and Philosophy, 12:4, pags 437-464.
 Logical Constants across Varying Types. Notre Dame Journal of Formal Logic, 30:3, pags 315-342. (Text available).



Universiteit van Amsterdam Logic in Action Stanford University ILLC

Back to the top

Back to Home