共 50 条
- [31] THE LOGIC OF QUESTIONS - GERMAN - WALTHER,J ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 1988, 42 (04): : 706 - 709
- [32] DETERMINISTIC DYNAMIC LOGIC IS STRICTLY WEAKER THAN DYNAMIC LOGIC INFORMATION AND CONTROL, 1983, 57 (01): : 48 - 55
- [33] WHAT IS THE HISTORY OF LOGIC - CONTENT AND METHODOLOGY QUESTIONS CONCERNING THE HISTORIOGRAPHY OF LOGIC DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1980, 28 (12): : 1443 - 1452
- [34] A Logic of Proofs for Differential Dynamic Logic PROCEEDINGS OF THE 5TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP'16), 2016, : 110 - 121
- [37] Combining Equilibrium Logic and Dynamic Logic LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 304 - 316