Ultraproducts and possible worlds semantics in institutions

Cites Work

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

Cited In (10)

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

Uses Software

CASL
CafeOBJ

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

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