Shekhtman, V. B. Topological models of propositional logics. (Russian) Zbl 0455.03013 Semiotika Inf. 15, 74-98 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 Documents MSC: 03C99 Model theory 03B45 Modal logic (including the logic of norms) 03B55 Intermediate logics Keywords:neighbourhood completion; Kripke completion; Kripke semantics; Kripke compact; modal logic; super-intuitionistic logic Citations:Zbl 0324.02014 × Cite Format Result Cite Review PDF
