Intuitionistic <sans-serif>S4</sans-serif> as a logic of topological spaces

被引：0
|
作者：
de Groot, Jim [1 ]
Shillito, Ian [1 ]
机构：
[1] Australian Natl Univ, Canberra, Ngunnawal & Nga 2600, Australia
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2024年
关键词：
MODAL-LOGICS;
D O I：
10.1093/logcom/exae030
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We design and study various topological semantics for the diamond-free intuitionistic modal logic iS4, an intuitionistic analogue of S4. Ultimately we prove that ordinary topological spaces can be used as semantics, using the specialization order to interpret intuitionistic implication and the interior for the modality. Some of our soundness and completeness results are mechanised in Coq.
引用
收藏
页数：25
相关论文
共 37 条
  • [1] <sans-serif>Floodproofing at New Braunfels Utilities</sans-serif>
    Stehouwer, Anna
    Willard, Adam
    JOURNAL AWWA, 2024, 116 (02): : 32 - 42
  • [2] Integral Cryptanalysis of Reduced-Round <sans-serif>IIoTBC-A</sans-serif> and Full <sans-serif>IIoTBC-B</sans-serif>
    Liu, Fen
    Sun, Zhe
    Luo, Xi
    Li, Chao
    Wan, Junping
    MATHEMATICS, 2024, 12 (11)
  • [3] Text in <sans-serif>R</sans-serif> graphics
    Murrell, Paul
    AUSTRALIAN & NEW ZEALAND JOURNAL OF STATISTICS, 2025,
  • [4] Boffa's construction and models for <sans-serif>NFU</sans-serif>
    Adlesic, Tin
    Cacic, Vedran
    STUDIA LOGICA, 2024,
  • [5] SANS-SERIF TYPE
    JAGO, JD
    MEDICAL JOURNAL OF AUSTRALIA, 1978, 2 (13) : 596 - 596
  • [6] On the Structure of Learnability beyond <sans-serif>P/poly</sans-serif>
    Rajgopal, Ninad
    Santhanam, Rahul
    COMPUTATIONAL COMPLEXITY, 2025, 34 (01)
  • [7] Magnetisation of the Aurivillius phase with m =<sans-serif> 4</sans-serif> revisited
    Yastrebov, Sergey
    Lomanova, Natasha
    PHILOSOPHICAL MAGAZINE, 2025, 105 (02) : 79 - 88
  • [8] <sans-serif>Minneapolis Implements Levels of Service for Its Water Utility</sans-serif>
    Anderson, Brett
    Slaven, Kevin
    JOURNAL AWWA, 2024, 116 (02): : 22 - 31
  • [9] <sans-serif>What's New With Old Galvanized Iron Pipe? A Toolbox for Utilities</sans-serif>
    Arnold, Roger B.
    Parks, Jeffrey
    Edwards, Marc A.
    Rosenfeldt, Becki
    JOURNAL AWWA, 2024, 116 (03): : 24 - 34
  • [10] Exponential speedup over locality in <sans-serif>MPC</sans-serif> with optimal memory
    Balliu, Alkida
    Brandt, Sebastian
    Fischer, Manuela
    Latypov, Rustam
    Maus, Yannic
    Olivetti, Dennis
    Uitto, Jara
    DISTRIBUTED COMPUTING, 2025,
1234