On Shehtman's two problems

DOI10.1112/JLMS.70090MaRDI QIDQ6972363zbMATH OpenFDO

Authors Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Publication date 12 June 2025

Published in Journal of the London Mathematical Society. Second Series (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1112/JLMS.70090

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Ordinal and cardinal numbers (03E10) Continuum hypothesis and Martin's axiom (03E50) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)

Cites work

• A new proof of the McKinsey-Tarski theorem
• A problem in connected finite closure algebras
• A problem of set-theoretic topology
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology.
• A topological property enjoyed by near points but not by large points
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication.
• An ascending chain of S4 logics
• Completeness of S4 with respect to the real line: revisited
• Der Aussagenkalkül und die Topologie
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3884938 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 42239 (Why is no real title available?)
• scientific article; zbMATH DE number 3479762 (Why is no real title available?)
• scientific article; zbMATH DE number 3512777 (Why is no real title available?)
• scientific article; zbMATH DE number 701411 (Why is no real title available?)
• scientific article; zbMATH DE number 3272972 (Why is no real title available?)
• scientific article; zbMATH DE number 3357434 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Infinitary combinatorics and modal logic
• Krull dimension in modal logic
• Modal logic
• Modal logics of metric spaces
• On closed elements in closure algebras
• On maximally resolvable spaces
• On modal logics arising from scattered locally compact Hausdorff spaces
• Resolvability: A selective survey and some new results
• Resolvable, not maximally resolvable spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• The algebra of topology
• The d-logic of the real line
• The McKinsey-Tarski theorem for locally compact ordered spaces
• The modal logic of \({\beta(\mathbb{N})}\)
• Topological representations of distributive lattices and Brouwerian logics.
• Tree-like constructions in topology and modal logic
• « Everywhere » and « here »

This page was built for publication: On Shehtman's two problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6972363)