Implicit Kripke semantics and ultraproducts in stratified institutions

DOI10.1093/logcom/exw018zbMath1444.03185arXiv1602.05373OpenAlexW2962877377MaRDI QIDQ3133175

Răzvan Diaconescu

Publication date: 13 February 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.05373

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Ultraproducts and related constructions (03C20) Abstract model theory (03C95)

Related Items

Foundations of logic programming in hybrid logics with user-defined sharing, Introducing \(H\), an institution-based formal specification and verification language, Birkhoff style calculi for hybrid logics, Preservation in many-valued truth institutions, Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning, Omitting types theorem in hybrid dynamic first-order logic with rigid symbols