Individual-actualism and three-valued modal logics, part 2: Natural-deduction formalizations

Journal of Philosophical Logic 16 (1):17 - 63 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00250614

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Natural deduction for non-classical logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
Many-valued modal logics.Melvin C. Fitting - unknown
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Many-valued modal logics II.Melvin Fitting - unknown
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
Individual-actualism and three-valued modal logics, part 1: Model-theoretic semantics.Harold T. Hodes - 1986 - Journal of Philosophical Logic 15 (4):369 - 401.

Analytics

Added to PP
2009-01-28

Downloads
236 (#81,728)

6 months
91 (#43,924)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Harold Hodes
Cornell University

Citations of this work

Many-Valued Modal Propositional Calculi.Pascal Ostermann - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):343-354.
Many-valued modal logics: Uses and predicate calculus.Pascal Ostermann - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):367-376.

Add more citations

References found in this work

On modal logics which enrich first-order S5.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (4):423 - 454.

Add more references