共 50 条
- [21] ALGEBRAIC SEMANTICS FOR MODAL PREDICATE LOGIC [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (06): : 523 - 552
- [23] Kripke semantics for modal bilattice logic [J]. 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 438 - 447
- [24] Game Semantics for Constructive Modal Logic [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 428 - 445
- [26] INADEQUACY OF NEIGHBORHOOD SEMANTICS FOR MODAL LOGIC [J]. JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (02) : 141 - 148
- [27] Partial Semantics for Quantified Modal Logic [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (06) : 1049 - 1060
- [28] INADEQUACY OF NEIGHBORHOOD SEMANTICS FOR MODAL LOGIC [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (02): : A282 - A282
- [29] Neighborhood Incompatibility Semantics for Modal Logic [J]. LOGICA YEARBOOK 2008, 2009, : 71 - 81