Mobile Menu
New
Books
Forthcoming titles
New in paperback
New titles by subject
September 2023
August 2023
July 2023
June 2023
Book Series
Journals & Yearbooks
New serials
Latest issues
Currently in production
Catalog
Books
Active series
Other series
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)
Directions
Book Orders
General
US, Canada & Mexico
E-books
Examination & Desk Copies
Journal Subscriptions
General information
Access to the electronic edition
Special offers
Terms of Use
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
Ebook collections
Journal Collection
Open Access information
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
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.