Ultraproducts and possible worlds semantics in institutions

DOI10.1016/j.tcs.2007.02.068zbMath1124.03047OpenAlexW2005688979MaRDI QIDQ2373712

Petros Stefaneas, Răzvan Diaconescu

Publication date: 16 July 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.02.068

zbMATH Keywords

modal logicpossible worldsinstitutionsKripke modelsultraproducts

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Related Items (9)

Introducing \(H\), an institution-based formal specification and verification language ⋮ Preservation in many-valued truth institutions ⋮ Hybridisation of Institutions in HETS (Tool Paper). ⋮ CafeOBJ Traces ⋮ Encoding hybridized institutions into first-order logic ⋮ Hybrid dynamic logic institutions for event/data-based systems ⋮ Epistemic logics with structured knowledge ⋮ The Algebra of Opposition (and Universal Logic Interpretations) ⋮ Modalities for an allegorical conceptual data model

Uses Software

• CASL
• CafeOBJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An institution-independent proof of the Robinson consistency theorem
• On the existence of free models in abstract algebraic institutions
• Quasi-varieties in abstract algebraic institutions
• Specifications in an arbitrary institution
• The temporal semantics of concurrent programs
• Model theory.
• Conditional rewriting logic as a unified model of concurrency
• Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
• Completeness results for intuitionistic and modal logic in a categorical setting
• Relating CASL with other specification languages: the institution level.
• An institution-independent proof of Craig interpolation theorem
• An institution of modal logics for coalgebras
• A completeness theorem in modal logic
• Abstract Beth definability in institutions
• Proof Systems for Institutional Logic
• An Institution-independent Generalization of Tarski's Elementary Chain Theorem
• Algebraic laws for nondeterminism and concurrency
• Axioms for abstract model theory
• Regular and Strongly Finitary Structures Over Strongly Algebroidal Categories
• Institutions: abstract model theory for specification and programming
• Elementary Diagrams in Institutions
• Mirror, mirror in my hand: a duality between specifications and models of process behaviour
• Recent Trends in Algebraic Development Techniques
• Jewels of Institution-Independent Model Theory

This page was built for publication: Ultraproducts and possible worlds semantics in institutions