Abstract
Labelled tableau systems are developed for subintuitionistic logics \(\mathbf {wK}_\sigma \), \(\mathbf {wKT}_\sigma \) and \(\mathbf {wK4}_\sigma \). These subintuitionistic logics are embedded into corresponding normal modal logics. Hintikka’s model systems are applied to prove the completeness of labelled tableau systems. The finite model property, decidability and disjunction property are obtained by labelled tableau method.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have