On modal logics which enrich first-order S5

zbMath0553.03008MaRDI QIDQ801894

Harold T. Hodes

Publication date: 1984

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

extensionssemanticsmodal predicate logicontological commitmentactualist quantifiersessentialismpossibilist quantifiersrelative expressive powers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (9)

Modal ontology and generalized quantifiers ⋮ STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ Actualism, serious actualism, and quantified modal logic ⋮ Where do the natural numbers come from? ⋮ Natural deduction for modal logic with a backtracking operator ⋮ Bad company tamed ⋮ Modal Platonism: an easy way to avoid ontologial commitment to abstract entities ⋮ Extensionalizing intensional second-order logic

This page was built for publication: On modal logics which enrich first-order S5