Advertisement

Modal Logic Syntax And Semantics

  • Melvin Fitting
Part of the Trends in Logic book series (TREN, volume 12)

Abstract

The second part of this book investigates a logic of intensions and extensions, using a possible world semantics. For purposes of background discussion in this section, I will assume you have some general familiarity with possible worlds at least informally. Technical details are postponed till after that.

Keywords

Modal Logic Constant Symbol Extensional Object Extensional Type Existential Quantifier 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2002

Authors and Affiliations

  • Melvin Fitting
    • 1
  1. 1.Lehman College and the Graduate CenterCity University of New YorkUSA

Personalised recommendations