Correspondence theory for generalized modal algebras

DOI10.1007/978-3-031-15298-6_4arXiv2205.02624OpenAlexW4297809206MaRDI QIDQ6102993

Zhiguang Zhao

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

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

zbMATH Keywords

duality theorycorrespondence theorygeneralized modal algebrageneralized modal space

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Algorithmic correspondence and canonicity for distributive modal logic
• Algorithmic correspondence and canonicity for non-distributive logics
• Complete and atomic Tarski algebras
• Topological duality for Tarski algebras
• Jónsson-style canonicity for ALBA-inequalities
• Subordination Tarski algebras
• Unified Correspondence
• Algorithmic correspondence for hybrid logic with binder

This page was built for publication: Correspondence theory for generalized modal algebras