Encoding hybridized institutions into first-order logic

DOI10.1017/S0960129514000383MaRDI QIDQ5741578zbMATH OpenOpenAlexFDO

Authors Răzvan Diaconescu, Alexandre Madeira

Publication date 28 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129514000383

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62) Categorical logic, topoi (03G30)

Recommendations

• Hybridization of institutions
• Quasi-varieties and initial semantics for hybridized institutions
• Forcing and calculi for hybrid logics
• First-order hybrid logic: introduction and survey
• Institutions: abstract model theory for specification and programming

Cites work

• Abstract Beth definability in institutions
• Adding a temporal dimension to a logic system
• An encoding of partial algebras as total algebras
• An essay in combinatory dynamic logic
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Borrowing interpolation
• Bringing them all together
• CASL: the Common Algebraic Specification Language.
• Coinduction for preordered algebra
• Combinations and completeness transfer for quantified modal logics
• Distributive-lattice semantics of sequent calculi with structural rules
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Hybrid languages
• Hybrid languages and temporal logic
• Hybridisation at work
• Hybridization of institutions
• Institution morphisms
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Interpolation for predefined types
• May I borrow your logic? (Transporting logical structures along maps)
• Natural deduction for first-order hybrid logic
• Quasi-Boolean encodings and conditionals in algebraic specification
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Stratified institutions and elementary homomorphisms
• Ultraproducts and possible worlds semantics in institutions

Cited in

(14)

• Birkhoff style calculi for hybrid logics
• Hybrid dynamic logic institutions for event/data-based systems
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Specification of systems with parameterised events: An institution-independent approach
• Introducing H, an institution-based formal specification and verification language
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• Refinement in hybridised institutions
• Foundations of logic programming in hybrid logics with user-defined sharing
• Hybridisation at work
• Hybridization of institutions
• Hybridisation of Institutions in HETS (Tool Paper).
• Dynamic Reconfiguration via Typed Modalities
• Hybrid-dynamic Ehrenfeucht-Fraïssé games
• The institution of many-logics modal logic

This page was built for publication: Encoding hybridized institutions into first-order logic

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