Modal Logic Syntax And Semantics
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.
KeywordsModal Logic Constant Symbol Extensional Object Extensional Type Existential Quantifier
Unable to display preview. Download preview PDF.