Implicit Kripke semantics and ultraproducts in stratified institutions

DOI10.1093/LOGCOM/EXW018MaRDI QIDQ3133175zbMATH OpenOpenAlexFDO

Authors 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) Abstract model theory (03C95) Categorical logic, topoi (03G30) Ultraproducts and related constructions (03C20)

Abstract: We propose stratified institutions (a decade old generalised version of the theory of institutions of Goguen and Burstall) as a fully abstract model theoretic approach to modal logic. This allows for a uniform treatment of model theoretic aspects across the great multiplicity of contemporary modal logic systems. Moreover Kripke semantics (in all its manifold variations) is captured in an implicit manner free from the sometimes bulky aspects of explicit Kripke structures, also accommodating other forms of concrete semantics for modal logic systems. The conceptual power of stratified institutions is illustrated with the development of a modal ultraproducts method that is independent of the concrete details of the actual modal logical systems. Consequently, a wide array of compactness results in concrete modal logics may be derived easily.

Recommendations

• Ultraproducts and possible worlds semantics in institutions
• An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework
• Implicit Partiality of Signature Morphisms in Institution Theory
• Institutional semantics for many-valued logics
• Hyperdoctrines and the ontology of stratified semantics
• Stratified institutions and elementary homomorphisms
• Quasi-varieties and initial semantics for hybridized institutions
• scientific article; zbMATH DE number 65751
• scientific article; zbMATH DE number 4066844
• Building and integrating semantic theories over institutions

Cited in

(9)

• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• scientific article; zbMATH DE number 1998330 (Why is no real title available?)
• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• Stratified institutions and elementary homomorphisms
• Preservation in many-valued truth institutions
• Birkhoff style calculi for hybrid logics
• Introducing \(H\), an institution-based formal specification and verification language
• Ultraproducts and possible worlds semantics in institutions
• Foundations of logic programming in hybrid logics with user-defined sharing

This page was built for publication: Implicit Kripke semantics and ultraproducts in stratified institutions

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