Works matching IS 13670751 AND DT 2002 AND VI 10 AND IP 5
Results: 5
Formalizing Belief Revision in Type Theory.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 5, p. 461, doi. 10.1093/jigpal/10.5.461
- By:
- Publication type:
- Article
PSpace Reasoning with the Description Logic AℒCF(D).
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 5, p. 535, doi. 10.1093/jigpal/10.5.535
- By:
- Publication type:
- Article
Polymodal Logics of Commuting Functions.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 5, p. 517, doi. 10.1093/jigpal/10.5.517
- By:
- Publication type:
- Article
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 5, p. 501, doi. 10.1093/jigpal/10.5.501-a
- By:
- Publication type:
- Article
A Simple CPS Transformation of Control-Flow Information.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 5, p. 501, doi. 10.1093/jigpal/10.5.501
- By:
- Publication type:
- Article