The Modal Theory Of Pure Identity And Some Related Decision Problems

Mathematical Logic Quarterly 30 (26-29):415-423 (1984)
  Copy   BIBTEX


Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

Author's Profile

Harold Hodes
Cornell University


Added to PP

222 (#53,575)

6 months
56 (#53,988)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?