Finite model property for an intuitionistic modal logic

zbMath1045.03025MaRDI QIDQ1428978

Mitio Takano

Publication date: 29 March 2004

Published in: Nihonkai Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

decidabilityfinite model propertyintuitionistic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (1)

The variety of modal weak Gödel algebras

This page was built for publication: Finite model property for an intuitionistic modal logic