共 50 条
- [31] THE SUBSTANTIAL SEMANTICS OF MODAL LOGIC - RUSSIAN - IVLEV,YV[J]. VOPROSY FILOSOFII, 1987, (03) : 165 - 167GERASIMOVA, IALEBEDEV, SA
- [32] TOPOS SEMANTICS FOR HIGHER-ORDER MODAL LOGIC[J]. LOGIQUE ET ANALYSE, 2014, (228) : 591 - 636Awodey, SteveKishida, KoheiKotzsch, Hans-Christoph
- [33] Bialgebraic methods and modal logic in structural operational semantics[J]. INFORMATION AND COMPUTATION, 2009, 207 (02) : 237 - 257Klin, Bartek
- [34] Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020, 21 (01)Hella, LauriKuusisto, AnttiMeier, ArneVollmer, Heribert
- [35] COMPARATIVE SEMANTICS FOR PROPOSITIONAL MODAL LOGIC - PRELIMINARY REPORT[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A22 - A22GERSON, MS
- [36] Transverse Semantics: Simplifying Completeness for Weak Modal Logic[J]. ICAI '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 2005, : 944 - 947Nicholson, DX
- [37] FROM WORLDS TO PROBABILITIES - A PROBABILISTIC SEMANTICS FOR MODAL LOGIC[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1993, 22 (02) : 169 - 192CROSS, CB
- [38] Bialgebraic operational semantics and modal logic (extended abstract)[J]. 22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 336 - +Klin, Bartek
- [39] Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic[J]. STUDIA LOGICA, 2023, 111 (06) : 1057 - 1082Zhao, Zhiguang
- [40] BELIEF CLOSURE - A SEMANTICS OF COMMON KNOWLEDGE FOR MODAL PROPOSITIONAL LOGIC[J]. MATHEMATICAL SOCIAL SCIENCES, 1995, 30 (02) : 127 - 153LISMONT, LMONGIN, P