MODAL PROPOSITIONAL LOGIC ON AN ORTHOMODULAR BASIS .1.

被引：6

|

作者：

HERMAN, L

PIZIAK, R

机构：

[1] KANSAS STATE UNIV,MANHATTAN,KS 66506

[2] UNIV FLORIDA,GAINESVILLE,FL 32601

来源：

JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 03期

关键词：

D O I：

10.2307/2272890

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：478 / 488

页数：11

相关论文

共 50 条

[1] Modal-type orthomodular logic
Domenech, Graciela
Freytes, Hector
de Ronde, Christian
MATHEMATICAL LOGIC QUARTERLY, 2009, 55 (03) : 307 - 319
[2] ON MODAL LOGIC WITH PROPOSITIONAL QUANTIFIERS
BULL, RA
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (02) : 257 - &
[3] NONCOMPACTNESS IN PROPOSITIONAL MODAL LOGIC
THOMASON, SK
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (04) : 716 - 720
[4] NONCOMPACTNESS IN PROPOSITIONAL MODAL LOGIC
THOMASON, SK
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (04): : A535 - &
[5] Actuality in Propositional Modal Logic
Hazen, Allen P.
Rin, Benjamin G.
Wehmeier, Kai F.
STUDIA LOGICA, 2013, 101 (03) : 487 - 503
[6] Actuality in Propositional Modal Logic
Allen P. Hazen
Benjamin G. Rin
Kai F. Wehmeier
Studia Logica, 2013, 101 : 487 - 503
[7] PROPOSITIONAL QUANTIFIERS IN MODAL LOGIC
FINE, K
THEORIA, 1970, 36 : 336 - 346
[8] A PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS
HALPERN, JY
SHOHAM, Y
JOURNAL OF THE ACM, 1991, 38 (04) : 935 - 962
[9] ALTERNATIVE SEMANTICS FOR PROPOSITIONAL MODAL LOGIC
HANSON, WH
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 402 - 403
[10] A modal logic amalgam of classical and intuitionistic propositional logic
Lewitzka, Steffen
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 201 - 212

← 1 2 3 4 5 →