共 50 条
- [25] Propositional quantifiers in deontic logic [J]. DEONTIC LOGIC AND ARTIFICIAL NORMATIVE SYSTEMS, PROCEEDINGS, 2006, 4048 : 201 - 209
- [26] A Spatial Logic with Time and Quantifiers [J]. DYNAMIC LOGIC. NEW TRENDS AND APPLICATIONS, DALI 2023, 2024, 14401 : 1 - 19
- [27] PURE LOGIC WITH BRANCHED QUANTIFIERS [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (01): : 45 - 48
- [29] ON MODAL LOGIC WITH PROPOSITIONAL QUANTIFIERS [J]. JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (02) : 257 - &
- [30] LOGIC PROGRAMMING WITH BOUNDED QUANTIFIERS [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 486 - 514