Labelled Tableau Systems for Some Subintuitionistic Logics

摘要

Labelled tableau systems are developed for subintuitionistic logics wK_σ, wKT_σ and wK4_σ. 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.