Algorithmic correspondence and canonicity for non-distributive logics

&
Annals of Pure and Applied Logic 170 (9):923-974 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2019.04.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Algorithmic correspondence and canonicity for distributive modal logic.Willem Conradie & Alessandra Palmigiano - 2012 - Annals of Pure and Applied Logic 163 (3):338-376.
A Sahlqvist theorem for distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.
Constructive canonicity in non-classical logics.Silvio Ghilardi & Giancarlo Meloni - 1997 - Annals of Pure and Applied Logic 86 (1):1-32.
On non-self-referential fragments of modal logics.Junhua Yu - 2017 - Annals of Pure and Applied Logic 168 (4):776-803.
L-algebras and three main non-classical logics.Wolfgang Rump - 2022 - Annals of Pure and Applied Logic 173 (7):103121.
Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.
Corrigendum and addendum to: “L-algebras and three main non-classical logics” [Ann. Pure Appl. Log. 173 (7) (2022) 103121]. [REVIEW]Wolfgang Rump - 2023 - Annals of Pure and Applied Logic 174 (3):103209.
Modal logics, justification logics, and realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.
Separation logic and logics with team semantics.Darion Haase, Erich Grädel & Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103063.
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.

Analytics

Added to PP
2019-04-16

Downloads
29 (#538,486)

6 months
9 (#436,568)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Stone duality for lattice expansions.Chrysafis Hartonas - 2018 - Logic Journal of the IGPL 26 (5):475-504.

View all 11 citations / Add more citations

References found in this work

Semantic analysis of orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
A Sahlqvist theorem for distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.

View all 36 references / Add more references