共 50 条
- [1] A Logical Account of PSPACE [J]. POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 121 - 131
- [3] A Logical Account of Lying [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 286 - 299
- [4] Towards a Logical Account of Declassification [J]. PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2007, : 61 - 65
- [6] A probabilistic account of logical metonymy [J]. COMPUTATIONAL LINGUISTICS, 2003, 29 (02) : 261 - 315
- [7] A Logical Account of Subtyping for Session Types [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (378): : 26 - 37
- [8] Memory: A logical learning theory account [J]. JOURNAL OF MIND AND BEHAVIOR, 1996, 17 (03): : 229 - 250
- [9] An Interpretive Account of Logical Aggregation Theory [J]. REVUE D ECONOMIE POLITIQUE, 2010, 120 (06): : 929 - 972
- [10] Towards A Logical Account of Epistemic Causality [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (308): : 1 - 16