.png){kind=icon}
.png){kind=icon}
Return
Logic of defeasible permission and its dynamics (vol 31, pg 1158, 2021)
.png){kind=icon}
PRE
AI
D
DOI：10.1093/logcom/exag012.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Definition H.6 (Canonical Model) and Lemma H.7 (Truth Lemma) from the Appendix of [1] have been corrected in this erratum. The key difference is that the revised definition of the canonical model ensures that formulas of the form boolean AND Gamma <= phi are well-formed
Journal
J
IF:
0
Papers:
44
Citations:
0
Organization
No organization information available
Cited Papers