Modal Logics that Bound the Circumference of Transitive Frames

DOI10.1007/978-3-030-64187-0_10MaRDI QIDQ5015972zbMATH OpenOpenAlexFDO

Authors 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

circumferenceclusterfiltrationfinite model propertyGrzegorczykGödel-Löb logichereditarily irresolvable spacemodal logictransitive frame

Mathematics Subject Classification ID

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

Recommendations

• Modal logics of metric spaces
• Modal Logics of Some Hereditarily Irresolvable Spaces
• Scattered and hereditarily irresolvable spaces in modal logic
• Elementary modal logics over transitive structures
• Finite-Chain Graded Modal Logic

Cites work

• Boolean Algebras with Operators. Part I
• Certain extensions of modal system S4
• Constructive modalities with provability smack
• Cut-elimination for weak Grzegorczyk logic Go
• Cut-free tableau calculi for some propositional normal modal logics
• Family K of the non-Lewis modal systems
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 3177268 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3504850 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• K4.Grz and hereditarily irresolvable spaces
• Modal logic
• Provability interpretations of modal logic
• Resolvable, not maximally resolvable spaces
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Solution of a problem of Leon Henkin
• Some relational systems and the associated topological spaces
• Some results on modal axiomatization and definability for topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• The non-reflexive counterpart of Grz

Cited in

(1)

• Modal Logics of Some Hereditarily Irresolvable Spaces

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

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