An algebraic approach to subframe logics. Modal case (Q540406): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Osamu Sonobe / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5903678 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
modal logic | |||
Property / zbMATH Keywords: modal logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subframe logic | |||
Property / zbMATH Keywords: subframe logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite model property | |||
Property / zbMATH Keywords: finite model property / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
modal logic of topological derivative | |||
Property / zbMATH Keywords: modal logic of topological derivative / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weak transitive frame | |||
Property / zbMATH Keywords: weak transitive frame / rank | |||
Normal rank |
Revision as of 11:04, 1 July 2023
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