Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras

Logic Journal of the IGPL (forthcoming)
  Copy   BIBTEX

Abstract

In the present paper, we study the correspondence and canonicity theory of modal subordination algebras and their dual Stone space with two relations, generalizing correspondence results for subordination algebras in [13–15, 25]. Due to the fact that the language of modal subordination algebras involves a binary subordination relation, we will find it convenient to use the so-called quasi-inequalities and |$\varPi _{2}$|-statements. We use an algorithm to transform (restricted) inductive quasi-inequalities and (restricted) inductive |$\varPi _{2}$|-statements to equivalent first-order correspondents on the dual Stone spaces with two relations with respect to arbitrary (resp. admissible) valuations.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Similar books and articles

A variety of algebras closely related to subordination algebras.Sergio Celani & Ramon Jansana - 2022 - Journal of Applied Non-Classical Logics 32 (2):200-238.
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.
On The Number Of Quasi-modal Algebras.Jacek Malinowski - 1985 - Bulletin of the Section of Logic 14 (3):99-101.
Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
Canonical naming systems.Leon Horsten - 2004 - Minds and Machines 15 (2):229-257.

Analytics

Added to PP
2023-03-19

Downloads
1 (#1,769,934)

6 months
1 (#1,040,386)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Zhiguang Zhao
Delft University of Technology

Citations of this work

No citations found.

Add more citations