THE MODAL THEORY OF PURE IDENTITY AND SOME RELATED DECISION PROBLEMS

DOI10.1002/MALQ.19840302603zbMath0546.03009OpenAlexW2064847209MaRDI QIDQ3337451

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

satisfiabilityidentitydecision procedurepossible 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)

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