|
|||||
|
|
Prefinitely axiomatizable modal and intermediate logics |
|
| Authors: | Marcus Kracht |
| Abstract: | A logic Λ bounds a property P if all proper extensions of Λ have P while Λ itself does not. We construct logics bounding finite axiomatizability and logics bounding finite model property in the lattice of intermediate logics and in the lattice of normal extensions of K4.3. MSC: 03B45, 03B55. |
| Keywords: | Modal logics Intermediate logics Bounded properties Finite axiomatizability Finite model property |