共 50 条
- [25] REDUCTION OF TENSE LOGIC TO MODAL LOGIC NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A12 - A12
- [27] PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2016, 57 : 39 - 112
- [28] Logic in Action An Open Logic Courseware Project TOOLS FOR TEACHING LOGIC, 2011, 6680 : 141 - 153
- [29] A modular reduction of regular logic to classical logic 31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 221 - 226