共 50 条
- [41] REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG'S 1985 CONSTRUCTION REVIEW OF SYMBOLIC LOGIC, 2016, 9 (04): : 752 - 809
- [44] Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic LOGIC, RATIONALITY, AND INTERACTION, 2011, 6953 : 394 - +
- [45] SOUNDNESS AND COMPLETENESS OF PARTIAL DEDUCTIONS FOR WELL-FOUNDED SEMANTICS LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 1 - 12
- [46] COMPLETENESS FOR COUNTER-DOXA CONDITIONALS - USING RANKING SEMANTICS REVIEW OF SYMBOLIC LOGIC, 2019, 12 (04): : 861 - 891
- [47] Completeness for Ancestral Logic via a Computationally-Meaningful Semantics AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 247 - 260
- [48] SOME REMARKS ABOUT COMPLETENESS OF SYSTEM [F(ALPHAKAPPAZ)]KAPPA/INFINITY=O DOKLADY AKADEMII NAUK SSSR, 1973, 210 (06): : 1277 - 1279
- [50] Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics Studia Logica, 2022, 110 : 1 - 45