Encoding hybridized institutions into first-order logic

DOI10.1017/S0960129514000383zbMath1362.03058OpenAlexW2117159510MaRDI QIDQ5741578

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) Categorical logic, topoi (03G30) Combined logics (03B62)

Related Items (9)

Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Specification of systems with parameterised events: An institution-independent approach ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Birkhoff style calculi for hybrid logics ⋮ Hybridisation of Institutions in HETS (Tool Paper). ⋮ Institution-based encoding and verification of simple UML state machines in CASL/SPASS ⋮ Hybrid dynamic logic institutions for event/data-based systems ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols ⋮ Refinement in hybridised institutions

Cites Work

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

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