Modal Logics that Bound the Circumference of Transitive Frames

DOI10.1007/978-3-030-64187-0_10OpenAlexW4288346834MaRDI QIDQ5015972

Robert Goldblatt

Publication date: 10 December 2021

Published in: Hajnal Andréka and István Németi on Unity of Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.11617

zbMATH Keywords

clustermodal logicfiltrationcircumferencefinite model propertyGödel-Löb logichereditarily irresolvable spacetransitive frameGrzegorczyk

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) General algebraic systems (08-XX)

Related Items (1)

Modal Logics of Some Hereditarily Irresolvable Spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some results on modal axiomatization and definability for topological spaces
• Provability interpretations of modal logic
• Resolvable, not maximally resolvable spaces
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Cut-elimination for weak Grzegorczyk logic Go
• Family K of the non-Lewis modal systems
• Certain extensions of modal system S4
• Cut-free tableau calculi for some propositional normal modal logics
• Solution of a problem of Leon Henkin
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• Constructive Modalities with Provability Smack
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I

This page was built for publication: Modal Logics that Bound the Circumference of Transitive Frames