The Finite Model Property of Quasi-transitive Modal Logic
Lin, Zhe · Ma, Minghui
Original · EN
The finite model property of quasi-transitive modal logic K₂³=K⊕ p→ p is established. This modal logic is conservatively extended to the tense logic Kt₂³. We present a Gentzen sequent calculus G for Kt₂³. The sequent calculus G has the finite algebra property by a finite syntactic construction. It follows that Kt₂³ and K₂³ have the finite model property.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.