Algorithmic correspondence for hybrid logic with binder

DOI10.1093/JIGPAL/JZAB029MaRDI QIDQ5877706zbMATH OpenOpenAlexFDO

Authors Zhiguang Zhao

Publication date 16 February 2023

Published in Logic Journal of the IGPL (Search for Journal in Brave)

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

zbMATH Keywords

ALBA algorithmcorrespondence theoryhybrid logic with binder

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Completeness and correspondence in hybrid logic via an extension of SQEMA
• Algebraization of Hybrid Logic with Binders
• On Sahlqvist theory for hybrid logics
• Computer Science Logic
• A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER

Cited in

(6)

• On Sahlqvist theory for hybrid logics
• A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER
• Algebraization of Hybrid Logic with Binders
• Correspondence theory for generalized modal algebras
• Algorithmic Correspondence for Hybrid Logic with Binder
• Sahlqvist completeness theory for hybrid logic with downarrow binder

This page was built for publication: Algorithmic correspondence for hybrid logic with binder

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