Algebraic Semantics for Hybrid Logics

DOI10.1007/978-981-15-1342-8_6zbMath1484.03032arXiv1604.06901OpenAlexW2441024281MaRDI QIDQ3298278

Claudette Robinson, Willem Conradie

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

completenesshybrid logicalgebraic semanticsdescriptive two-sorted general frameshybrid algebras

Mathematics Subject Classification ID

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

Related Items (1)

A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal logic with names
• Varieties of complex algebras
• Canonicity results for mu-calculi: an algorithmic approach
• Interpolation for extended modal languages
• Tableau-based Decision Procedures for Hybrid Logic
• Algebraizable logics
• Hybrid languages and temporal logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Internalizing labelled deduction
• Analogues of Bull’s theorem for hybrid logic
• Algebraization of Hybrid Logic with Binders
• Hybrid logic and its proof-theory

This page was built for publication: Algebraic Semantics for Hybrid Logics