Free Modal Algebras Revisited: The Step-by-Step Method

DOI10.1007/978-94-017-8860-1_3zbMath1350.03048OpenAlexW1857236967MaRDI QIDQ5255791

Silvio Ghilardi, Mamuka Jibladze, Nick Bezhanishvili

Publication date: 19 June 2015

Published in: Leo Esakia on Duality in Modal and Intuitionistic Logics (Search for Journal in Brave)

Full work available at URL: https://pure.uva.nl/ws/files/14947651/Bezh_Ghi_Jib_Revised.pdf

zbMATH Keywords

dualitystep-by-step methodfree modal algebrasone-step algebrasone-step frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (3)

Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ The bounded proof property via step algebras and step frames ⋮ Modal translation of substructural logics

This page was built for publication: Free Modal Algebras Revisited: The Step-by-Step Method