COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY

被引：2
|
作者：
Gilbert, David R. [1 ]
Mares, Edwin D. [1 ]
机构：
[1] Victoria Univ Wellington, Ctr Log Language & Computat, Wellington, New Zealand
来源：
REVIEW OF SYMBOLIC LOGIC | 2012年 / 5卷 / 02期
关键词：
D O I：
10.1017/S1755020311000384
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We provide a Hilbert-style axiomatization of the logic of 'actually', as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straight-forward first-order extensions.
引用
收藏
页码：239 / 258
页数：20
相关论文
共 50 条
  • [1] Actuality, Tableaux, and Two-Dimensional Modal Logics
    Lampert, Fabio
    ERKENNTNIS, 2018, 83 (03) : 403 - 443
  • [2] Actuality, Tableaux, and Two-Dimensional Modal Logics
    Fabio Lampert
    Erkenntnis, 2018, 83 : 403 - 443
  • [3] Completeness of tableau calculi for two-dimensional hybrid logics
    Nishimura, Yuki
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [4] Some Sahlqvist Completeness Results for Coalgebraic Logics
    Dahlqvist, Fredrik
    Pattinson, Dirk
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 193 - 208
  • [5] Two-dimensional awareness logics
    Liu, H
    Ju, S
    JOURNAL OF PHILOSOPHICAL LOGIC, 2004, 33 (05) : 481 - 495
  • [6] Two-Dimensional Awareness Logics
    Hu Liu
    Shier Ju
    Journal of Philosophical Logic, 2004, 33 : 481 - 495
  • [7] Completeness results for memory logics
    Areces, Carlos
    Figueira, Santiago
    Mera, Sergio
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (07) : 961 - 972
  • [8] Some results on shuffles of two-dimensional copulas
    Trutschnig, Wolfgang
    Fernandez Sanchez, Juan
    JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 2013, 143 (02) : 251 - 260
  • [9] Completeness Results for Memory Logics
    Areces, Carlos
    Figueira, Santiago
    Mera, Sergio
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 16 - +
  • [10] Metamodeling for Two-Dimensional Description Logics
    Liu Huaxiao
    Ji Xiang
    Liu Lei
    CHINESE JOURNAL OF ELECTRONICS, 2013, 22 (02): : 237 - 241
12345