SEMANTICS FOR LOGICAL AND NOMIC MODALITIES

被引：0

作者：

LAPARA, N ^{[1
]}

机构：

[1] LEHIGH UNIV,BETHLEHEM,PA 18000

来源：

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

页码：39 / 48

页数：10

共 50 条

[1] ON SECONDARY SEMANTICS FOR LOGICAL MODALITIES
BENCIVENGA, E
PACIFIC PHILOSOPHICAL QUARTERLY, 1981, 62 (01): : 86 - 94
[2] On the Unification of Process Semantics: Logical Semantics
Romero-Hernandez, David
de Frutos-Escrig, David
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (62): : 47 - 61
[3] Modalities: logical approach
Bailhache, P
REVUE BELGE DE PHILOLOGIE ET D HISTOIRE, 2003, 81 (03): : 633 - 646
[4] On Formalizing Logical Modalities
Pavone, Luigi
CROATIAN JOURNAL OF PHILOSOPHY, 2021, 21 (63) : 419 - 430
[5] LOGICAL SYNTAX AND SEMANTICS
Bar-Hillel, Yehoshua
LANGUAGE, 1954, 30 (02) : 230 - 237
[6] SEMANTICS FOR LOGICAL ENTAILMENT
MUSKARDIN, V
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 463 - 463
[7] LOGICAL SEMANTICS OF MODULARIZATION
DELAVALETTE, GRR
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 306 - 315
[8] Logical Semantics for Stability
Paolini, Luca
Piccolo, Mauro
Della Rocca, Simona Ronchi
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 429 - 449
[9] LOGICAL SEMANTICS AND DENOTATIONAL SEMANTICS OF PROLOG INTERPRETERS
DELAHAYE, JP
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (01): : 3 - 42
[10] Logical semantics of types for concurrency
Caires, Luis
ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2007, 4624 : 16 - +