共 50 条
- [42] COMPLETENESS IN CARDINALITY LOGICS BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1975, 23 (02): : 117 - 122
- [45] Logical data expiration for fixpoint extensions of temporal logics ADVANCES IN SPATIAL AND TEMPORAL DATABASES, PROCEEDINGS, 2003, 2750 : 380 - 393
- [47] CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D REVIEW OF SYMBOLIC LOGIC, 2021, 14 (04): : 910 - 929
- [50] Completeness Results for Memory Logics LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 16 - +