Topological semantics of conservativity and interpretability logics

DOI10.1093/LOGCOM/EXAB046MaRDI QIDQ5163988zbMATH OpenOpenAlexFDO

Authors Sohei Iwata, Taishi Kurahashi

Publication date 9 November 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

conservativity logicinterpretability logicprovability logicstrong completenesstopological semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A semantic approach to conservativity
• Interpretability logics and generalised Veltman semantics
• scientific article; zbMATH DE number 2152683
• scientific article; zbMATH DE number 39878
• A constructive semantics for non‐deducibility

Cited in

(6)

• A topological characterization of consistency of logic theories in propositional logic
• Topological Semantics of Justification Logic
• scientific article; zbMATH DE number 810107 (Why is no real title available?)
• scientific article; zbMATH DE number 6787689 (Why is no real title available?)
• Theory and application of labelling techniques for interpretability logics
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics

This page was built for publication: Topological semantics of conservativity and interpretability logics

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