On Sahlqvist theory for hybrid logics

DOI10.1093/LOGCOM/EXV045zbMath1444.03048OpenAlexW2589791210MaRDI QIDQ2983399

Claudette Robinson, Willem Conradie

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv045

zbMATH Keywords

MacNeille completionhybrid logiccorrespondence theorycanonicitySahlqvist theoryALBA algorithm

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complete lattices, completions (06B23)

Related Items (7)

Linear Logic Properly Displayed ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Unnamed Item ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• Unnamed Item

This page was built for publication: On Sahlqvist theory for hybrid logics