Implicit Kripke semantics and ultraproducts in stratified institutions

DOI10.1093/LOGCOM/EXW018zbMATH Open1444.03185arXiv1602.05373OpenAlexW2962877377MaRDI QIDQ3133175FDOQ3133175

Authors: Răzvan Diaconescu 

Publication date: 13 February 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

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.

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

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
• scientific article; zbMATH DE number 4066844
• Building and integrating semantic theories over institutions

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)

Cited In (9)

• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Title not available (Why is that?)
• 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)