Algorithmic correspondence and canonicity for possibility semantics

DOI10.1093/logcom/exab004OpenAlexW3133486752MaRDI QIDQ5858133

Zhiguang Zhao

Publication date: 9 April 2021

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

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

zbMATH Keywords

duality theorycorrespondence theorycanonicityalgorithmic correspondencepossibility semantics

Mathematics Subject Classification ID

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

Related Items (2)

Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic ⋮ Algorithmic correspondence and canonicity for non-distributive logics

This page was built for publication: Algorithmic correspondence and canonicity for possibility semantics