scientific article; zbMATH DE number 4123703

zbMath0686.03011MaRDI QIDQ4204133

Michael Zakharyashchev

Publication date: 1989

Full work available at URL: https://eudml.org/doc/72110

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicdecidabilitymodel theoryfinite model propertysuperintuitionistic logicKripke completenessdisjunctive propertiesGödel-Tarski translation of a propositional formula

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (2)

The disjunction property of intermediate propositional logics ⋮ Modal companions of intermediate propositional logics

This page was built for publication: