Mobile Menu
New
Books
Forthcoming titles
New in paperback
New titles by subject
October 2024
September 2024
August 2024
July 2024
Book Series
Journals & Yearbooks
New serials
Latest issues
Currently in production
Catalog
Books
Active series
Other series
Collections
Open-access books
Text books & Course books
Dictionaries & Reference
By JB editor
Journals & Yearbooks
Active serials
Other
By JB editor
Software
Browse by person
Browse by subject
Advanced Search
Downloadable lists
Printed catalogs
E-book collections
Online Resources
Customer Services
Contact
Amsterdam (Main office)
Philadelphia (North American office)
Book Orders
General
US, Canada & Mexico
E-books
Examination & Desk Copies
Journal Subscriptions
General information
Access to the electronic edition
Terms of Use
Journal collections
Journal mutations
Rights & Permissions
Mailing List
E-newsletter
Book Gazette
For Authors
Proposals for Books
Proposals for Book Series
Proposals for Journals
Submissions to Journals
Editorial Manager
Ethics Statement
Kudos
Open Access Policy
Rights Policy
For Librarians
Evidence-Based Acquisition
E-book Collections
Journal Collections
Open Access information
Journal mutations
Part of
Handbook of Pragmatics: Manual
Edited by Jef Verschueren and Jan-Ola Östman
[
Handbook of Pragmatics
M2] 2022
► pp.
954
–
960
◄
previous
next
►
Modal logic
Paul Gochet
Article outline
1.
The development of modal logic
2.
Irving Lewis’ contribution
3.
What is modal logic all about?
4.
Quantified modal logic
5.
Tense logic
6.
From tense logic to pragmatics
References
Published online: 3 October 2022
https://doi.org/10.1075/hop.m2.mod1
References (27)
References
Ackrill, J. L.
(ed.)
1963
.
Aristotle's Categories and De interpretatione
. Oxford University Press.
Aristotle
: see
Ackrill
(ed.)
1963
and
Ross
(ed.) 1928.
Barcan Marcus, R.
1946
.
A functional calculus of first order based on strict implication
.
The Journal of Symbolic Logic
11: 1–17.
Bar-Hillel, Y.
1970
.
Aspects of Language
. North Holland.
Bar-Hillel, Y.
1971
.
Pragmatics of natural languages
. Reidel.
Blackburn, P.
,
M. De Rijke
&
Y. Venema
.
2001
.
Modal Logic
. Cambridge University Press.
Van Benthem, J.
1977
.
Tense logic and standard logic
.
Logique et Analyse
80: 395–437.
Van Benthem, J.
1983
.
The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
. Reidel.
Carnap, R.
1946
.
Modalities and Quantification
.
The Journal of Symbolic Logic
11: 33–64.
Carnap, R.
1963
.
Carnap's Intellectual autobiography
. In
P. A. Schilpp
(ed.)
The Philosophy of Rudolf Carnap
. Open Court.
Fitting, M.
&
R. Mendelsohn
.
1998
.
First-Order Modal Logic
. Kluwer.
Gabbay, D.
1974
.
Tense Logic and the Tenses of English
. In
J. Moravcsik
(ed.)
Logic and Philosophy for Linguists
: 177–186. Mouton.
Gabbay, D.
1976
.
Investigations in modal and tense logics
.
With applications to Problems in Philosophy and Linguistics
. Reidel.
Gabbay, D.
&
J. Woods
(eds.)
2006
.
The Handbook of History of Logic, vol. 7 Logic and the Modalities in the Twentieth Century
. Elsevier.
Garson, J.
2006
.
Modal Logic for Philosophers
. Cambridge University Press.
Goranko, V.
1996
.
Hierarchies of Modal and Temporal Logic with Reference
.
The Journal of Logic, Language and Information
5: 1–24.
Hughes, G. E.
&
M. J. Cresswell
.
1996
.
A new introduction to modal logic
. Methuen.
Kamp, H
1971
.
Formal Properties of ‘Now’
.
Theoria
37: 227–273.
Lewis, I.
&
C. H. Langford
.
(1959) [1932]
.
Symbolic logic
. Dover.
Lyons, J.
1977
.
Semantics
, vol. 2. Cambridge University Press.
Mctaggart, J. M. E.
1908
.
The Unreality of Time
.
Mind
: 457–474.
Moisil, G.
1972
.
Essai sur les logiques non chrysipiennes
. Académie Socialiste de Roumanie.
Palmer, F.R
1979
.
Modality and the English modals
. Longman.
Reichenbach, H.
(1974) [1947]
.
Analysis of Conversational Language
. In
J. Moravcsik
(ed.)
Logic and Philosophy for Linguists
: 122–141. Mouton.
Ross, W. D.
(ed.)
1928
.
The works of Aristotle: Analytica Priora
. Clarendon.
Scott, D.
1971
.
On engendering an illusion of understanding
.
Journal of Philosophy
68(21): 787–807.
Wolper, P.
1983
.
Temporal Logic Can Be More Expressive
.
Information and Control
56: 72–99.