First-order Logics of Evidence and Truth with Constant and Variable Domains

被引：4
|
作者：
Rodrigues, Abilio [1 ]
Antunes, Henrique [1 ]
机构：
[1] Univ Fed Minas Gerais, Dept Philosophy, FAFICH, 6627 Antonio Carlos Ave, BR-31270901 Belo Horizonte, MG, Brazil
来源：
LOGICA UNIVERSALIS | 2022年 / 16卷 / 03期
关键词：
Logics of evidence and truth; Paraconsistency; Kripke models; Variable domains; COMPLETENESS;
D O I：
10.1007/s11787-022-00306-8
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
The main aim of this paper is to introduce first-order versions of logics of evidence and truth, together with corresponding sound and complete Kripke semantics with variable and constant domains. According to the intuitive interpretation proposed here, these logics intend to represent possibly inconsistent and incomplete information bases over time. The paper also discusses the connections between Belnap-Dunn's and da Costa's approaches to paraconsistency, and argues that the logics of evidence and truth combine them in a very natural way.
引用
收藏
页码：419 / 449
页数：31
相关论文
共 50 条
  • [1] First-order Logics of Evidence and Truth with Constant and Variable Domains
    Abilio Rodrigues
    Henrique Antunes
    Logica Universalis, 2022, 16 : 419 - 449
  • [2] Valuation Semantics for First-Order Logics of Evidence and Truth
    Antunes, H.
    Rodrigues, A.
    Carnielli, W.
    Coniglio, M. E.
    JOURNAL OF PHILOSOPHICAL LOGIC, 2022, 51 (05) : 1141 - 1173
  • [3] Valuation Semantics for First-Order Logics of Evidence and Truth
    H. Antunes
    A. Rodrigues
    W. Carnielli
    M. E. Coniglio
    Journal of Philosophical Logic, 2022, 51 : 1141 - 1173
  • [4] ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS
    Cintula, Petr
    Metcalfe, George
    Tokuda, Naomi
    BULLETIN OF SYMBOLIC LOGIC, 2024, 30 (02) : 253 - 278
  • [5] Evidence Algorithm and Inference Search in First-Order Logics
    Alexander Lyaletski
    Journal of Automated Reasoning, 2015, 55 : 269 - 284
  • [6] Evidence Algorithm and Inference Search in First-Order Logics
    Lyaletski, Alexander
    JOURNAL OF AUTOMATED REASONING, 2015, 55 (03) : 269 - 284
  • [7] The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains
    Baader, Franz
    De Bortoli, Filippo
    39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 754 - 761
  • [8] On first-order conditional logics
    School of Computing Science, Simon Fraser University, Burnaby, BC V5A 1S6, Canada
    Artif Intell, 1-2 (105):
  • [9] First-order Godel logics
    Baaz, Matthias
    Preining, Norbert
    Zach, Richard
    ANNALS OF PURE AND APPLIED LOGIC, 2007, 147 (1-2) : 23 - 47
  • [10] On first-order conditional logics
    Delgrande, JP
    ARTIFICIAL INTELLIGENCE, 1998, 105 (1-2) : 105 - 137
12345