共 50 条
- [32] Predicate gates for spatial logic PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4, 2007, : 151 - +
- [35] Epsilon Substitution for Predicate Logic ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (47): : 3 - 5
- [39] OPTIMIZED TRANSLATION OF MULTI MODAL LOGIC INTO PREDICATE LOGIC LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 253 - 264
- [40] On the Logic of Nonmonotonic Conditionals and Conditional Probabilities: Predicate Logic Journal of Philosophical Logic, 1998, 27 : 1 - 34