Sign in to use this feature.

Years

Between: -

Subjects

remove_circle_outline
remove_circle_outline

Journals

Article Types

Countries / Regions

Search Results (1)

Search Parameters:
Keywords = van Benthem characterization

Order results
Result details
Results per page
Select all
Export citation of selected articles as:
21 pages, 500 KB  
Article
A Van Benthem Characterization Result for Distribution-Free Logics
by Chrysafis Hartonas
Logics 2025, 3(1), 1; https://doi.org/10.3390/logics3010001 - 3 Jan 2025
Cited by 2 | Viewed by 1030
Abstract
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the more general setting of the logics of [...] Read more.
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the more general setting of the logics of normal lattice expansions. Our proof approach makes use of a fully abstract translation of the language of the logics of interest into the language of sorted residuated modal logic, building on an analogous translation of substructural logics recently published by the author. The article is intended as a demonstration and application of a project of reduction of non-distributive logics to (sorted) residuated modal logics. The reduction makes the proof of a van Benthem characterization of non-distributive logics possible, by adapting, reusing and generalizing existing results. Full article
Back to TopTop