Four modal modelings

DOI10.1007/BF00247906zbMath0638.03016MaRDI QIDQ1099160

John Bacon

Publication date: 1988

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

zbMATH Keywords

possible worldsKripke modelssituation modelsbundle modelsmonadic part of S. Kripke's simple modal predicate calculus S5 *polyadic S5 *trope models

Mathematics Subject Classification ID

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

Related Items (3)

Nominalizing quantifiers ⋮ Semantic networks ⋮ A single primitive trope relation

This page was built for publication: Four modal modelings