9th Workshop on Logic, Language, Information and Computation (WoLLIC'2002).
- Published in:
- 2002
- By:
- Publication type:
- Proceeding
Works matching IS 13670751 AND DT 2002 AND VI 10 AND IP 6
Results: 4
1
2
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 6, p. 653, doi. 10.1093/jigpal/10.6.653
- By:
- Publication type:
- Article
3
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. 6, p. 601, doi. 10.1093/jigpal/10.6.601
- By:
- Publication type:
- Article
4
A Systematic Presentation of Quantified Modal Logics.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 6, p. 571, doi. 10.1093/jigpal/10.6.571
- By:
- Publication type:
- Article