Algebraic semantics for hybrid logics

DOI10.1007/978-981-15-1342-8_6MaRDI QIDQ3298278zbMATH OpenOpenAlexFDO

Authors Willem Conradie, Claudette Robinson

Publication date 14 July 2020

Published in Logic in Asia: Studia Logica Library (Search for Journal in Brave)

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

zbMATH Keywords

algebraic semanticscompletenessdescriptive two-sorted general frameshybrid algebrashybrid logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Abstract: We introduce hybrid algebras as algebraic semantics for hybrid languages with nominals and, possibly, the satisfaction operator. We establish a duality between hybrid algebras and the descriptive two-sorted general frames of Ten Cate. We show that all axiomatic extensions of the basic hybrid logics, with or without the satisfaction operator, are complete with respect to their classes of hybrid algebras. Moreover, we show that by adding the usual non-orthodox rules to these logics, they become complete with respect to their classes of permeated hybrid algebras, corresponding to strongly descriptive two-sorted general frames.

Recommendations

• Algebraization of Hybrid Logic with Binders
• On Sahlqvist theory for hybrid logics
• Coalgebraic Hybrid Logic
• Hybrid logics with Sahlqvist axioms
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

Cites work

• Algebraizable logics
• Algebraization of Hybrid Logic with Binders
• Analogues of Bull's theorem for hybrid logic
• Canonicity results for mu-calculi: an algorithmic approach
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 4148058 (Why is no real title available?)
• scientific article; zbMATH DE number 3554258 (Why is no real title available?)
• scientific article; zbMATH DE number 1163391 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Hybrid languages and temporal logic
• Hybrid logic and its proof-theory
• Internalizing labelled deduction
• Interpolation for extended modal languages
• Modal logic with names
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Tableau-based Decision Procedures for Hybrid Logic
• Varieties of complex algebras

Cited in

(21)

• Birkhoff style calculi for hybrid logics
• Combining algebraizable logics
• Algebraic semantics for quasi-Nelson logic
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Higher-order syntax and saturation algorithms for hybrid logic
• On Sahlqvist theory for hybrid logics
• Named models in coalgebraic hybrid logic
• Algebraic Semantics for Dynamic Dynamic Logic
• Isomorphism via translation
• Coalgebraic Hybrid Logic
• scientific article; zbMATH DE number 3949705 (Why is no real title available?)
• Mixed algebras and their logics
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 7123530 (Why is no real title available?)
• Algebraization of Hybrid Logic with Binders
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• scientific article; zbMATH DE number 3323811 (Why is no real title available?)
• Recent Trends in Algebraic Development Techniques
• Axiomatizing hybrid logic using modal logic
• Hybrid many-sorted modal logic with nominal terms
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

This page was built for publication: Algebraic semantics for hybrid logics

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