THE MODAL THEORY OF PURE IDENTITY AND SOME RELATED DECISION PROBLEMS

DOI10.1002/MALQ.19840302603zbMATH Open0546.03009OpenAlexW2064847209MaRDI QIDQ3337451FDOQ3337451

Authors: Harold T. Hodes 

Publication date: 1984

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://philpapers.org/rec/HODTMT-7

zbMATH Keywords

satisfiabilitydecision procedureidentitypossible worldmonadic predicatemodal languageexpanding domain property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Cited In (2)

• Dunn's relevant predication, real properties and identity
• Title not available (Why is that?)

This page was built for publication: THE MODAL THEORY OF PURE IDENTITY AND SOME RELATED DECISION PROBLEMS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3337451)