Algorithmic correspondence for hybrid logic with binder

DOI10.1093/JIGPAL/JZAB029OpenAlexW3202771258MaRDI QIDQ5877706FDOQ5877706

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

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

zbMATH Keywords

correspondence theoryALBA algorithmhybrid logic with binder

Mathematics Subject Classification ID

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

Cited In (6)

• Algorithmic Correspondence for Hybrid Logic with Binder
• Algebraization of Hybrid Logic with Binders
• Correspondence theory for generalized modal algebras
• Sahlqvist completeness theory for hybrid logic with downarrow binder
• On Sahlqvist theory for hybrid logics
• A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE 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)