scientific article; zbMATH DE number 1303430

zbMath0923.03026MaRDI QIDQ4250039

Grigori Mints

Publication date: 17 June 1999

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

zbMATH Keywords

modal logiccompletenesstopological interpretationCantor spacepropositional S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (8)

Multimodal logics of products of topologies ⋮ Tree-like constructions in topology and modal logic ⋮ Topology and measure in logics for region-based theories of space ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces ⋮ A new proof of the McKinsey-Tarski theorem ⋮ Completeness of S4 with respect to the real line: revisited ⋮ A proof of topological completeness for S4 in \((0,1)\)

This page was built for publication: