共 50 条
- [31] TOPOLOGY FOR SPACE OF COUNTABLE MODELS OF A FIRST-ORDER THEORY ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (02): : 173 - 178
- [38] Games and Bisimulations for Intuitionistic First-Order Kripke Models Studia Logica, 2021, 109 : 903 - 916
- [39] FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS REVIEW OF SYMBOLIC LOGIC, 2019, 12 (04): : 637 - 662