scientific article; zbMATH DE number 3847361

MaRDI QIDQ3317082zbMATH OpenFDO

Authors Harold T. Hodes

Publication date 1984

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)

Recommendations

• Modal logics definable by universal three-variable formulas
• Decidability of some classes of modal logic
• On the decidability of elementary modal logics
• Decidable elementary modal logics
• Undecidability of modal logics of unary predicate

Cited in

(2)

• scientific article; zbMATH DE number 4145872 (Why is no real title available?)
• Undecidable first-order theories of affine geometries

This page was built for publication:

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