Logical truth in modal logic + The Kripkean requirement

被引：0

|

作者：

McKeon, M

机构：

来源：

PACIFIC PHILOSOPHICAL QUARTERLY | 1996年 / 77卷 / 04期

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：351 / 361

页数：11

相关论文

共 50 条

[21] Researches on (n) Truth Degrees in Modal Logic
Cui, Mei-hua
Xu, Luo-shan
QUANTITATIVE LOGIC AND SOFT COMPUTING 2010, VOL 2, 2010, 82 : 321 - 330
[22] A Modal Logic of a Truth Definition for Finite Models
Czarnecki, Marek
Zdanowski, Konrad
FUNDAMENTA INFORMATICAE, 2019, 164 (04) : 299 - 325
[23] Logical truth and Tarskian logical truth
Gómez-Torrente, M
SYNTHESE, 1998, 117 (03) : 375 - 408
[24] Logical Truth and Tarskian Logical Truth
Mario Gómez-torrente
Synthese, 1998, 117 : 375 - 408
[25] A Kripkean semantics for dynamic logic programming
Sefránek, J
LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 469 - 486
[26] SOLVABILITY OF LOGICAL EQUATIONS IN THE MODAL SYSTEM GRZ AND INTUITIONISTIC LOGIC
RYBAKOV, VV
SIBERIAN MATHEMATICAL JOURNAL, 1991, 32 (02) : 297 - 308
[27] THE LOGICAL WAY OF BEING TRUE: Truth values and the ontological foundation of logic
Shramko, Yaroslav
LOGIC AND LOGICAL PHILOSOPHY, 2014, 23 (02) : 119 - 131
[28] Fusion of sequent modal logic systems labelled with truth values
Rasga, Joao
Roggia, Karina
Sernadas, Cristina
LOGIC JOURNAL OF THE IGPL, 2010, 18 (06) : 893 - 920
[29] LOGICAL TRUTH AND LOGICAL FORM
Morscher, Edgar
GRAZER PHILOSOPHISCHE STUDIEN, 2011, 82 (01) : 77 - 90
[30] LOGICAL TRUTH AND LOGICAL IMPLICATION
HATCHER, WS
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 561 - &

← 1 2 3 4 5 →