Modal correspondence for models

DOI10.1023/A:1004268613379zbMath0919.03014MaRDI QIDQ1267083

Jon Barwise, Lawrence S. Moss

Publication date: 6 October 1998

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

zbMATH Keywords

modal logicKripke modelKripke framefirst-order correspondent

Mathematics Subject Classification ID

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

Related Items (4)

Characteristic formulae for fixed-point semantics: a general framework ⋮ Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus ⋮ Finite models constructed from canonical formulas ⋮ On the modal definability of simulability by finite transitive models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal correspondence for models