Intensional logics

&

Abstract

This first chapter contains an introduction to modal logic. In section 1.1 the syntactic side of the matter is discussed, and in section 1.2 the subject is approached from a semantic point of view.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Equivalential logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.
Russell's paradox of the totality of propositions.Nino B. Cocchiarella - 2000 - Nordic Journal of Philosophical Logic 5 (1):25-37.
An intuitionistic characterization of classical logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.
A comparison of two intensional logics.Edward N. Zalta - 1988 - Linguistics and Philosophy 11 (1):59-89.
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
Canonicity for intensional logics with even axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Intensional Logic — Beyond First Order.Melvin Fitting - unknown

Analytics

Added to PP
2009-01-28

Downloads
126 (#147,193)

6 months
7 (#486,539)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Frank Veltman
University of Amsterdam

Citations of this work

A small reflection principle for bounded arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.

Add more citations

References found in this work

No references found.

Add more references