An algebraic approach to subframe logics. Modal case (Q540406): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1215/00294527-1306190 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2008144954 / rank | |||
Normal rank |
Latest revision as of 03:13, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An algebraic approach to subframe logics. Modal case |
scientific article |
Statements
An algebraic approach to subframe logics. Modal case (English)
0 references
3 June 2011
0 references
It has been shown by Fine that any subframe logic over K4 enjoys the finite model property (FMP), which then was extended by Zakharyaschev to any cofinal subframe logic over K4. From this follows that any cofinal subframe (and then any subframe) superintuitionistic logic has the FMP, whose algebraic proof was also given by the (first two) authors of this paper. Here the algebraic method is applied for the modal case. As a matter of fact, the result of Fine-Zakharyaschev is generalized so that any cofinal subframe logic over wK4 has the FMP, where wK4 is known according to Esakia as the modal logic of topological derivative and constitutes the subsystem of K4 characterized by weak transitive frames. The main observation is that, if a modal formula is refuted on a wK4 algebra B, then it is refuted on a finite wK4-algebra which is isomorphic to a subalgebra of a relativization of B. The common base to support these algebraic proofs is Diego's theorem that implicative meet-semilattices are locally finite. For the application, however, some more sophisticated manipulations are required in the case of wK4.
0 references
modal logic
0 references
subframe logic
0 references
finite model property
0 references
modal logic of topological derivative
0 references
weak transitive frame
0 references