Simple Reasoning with Time-Dependent Propositions.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 4, p. 379, doi. 10.1093/jigpal/10.4.379
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2002 AND VI 10 AND IP 4
Results: 6
1
2
Review of the paper ‘Concurrent Systems Analysis Using ECATNets’ by F. Belala.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 4, p. 453, doi. 10.1093/jigpal/10.4.453
- By:
- Publication type:
- Article
3
Review: Review of Modal Logic P. Blackburn, M. de Rijke, Y. Venema.
- Published in:
- 2002
- By:
- Publication type:
- Book Review
4
Fibring Modal First-Order Logics: Completeness Preservation.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 4, p. 413, doi. 10.1093/jigpal/10.4.413
- By:
- Publication type:
- Article
5
Intersection types for lambda-terms and combinators and their logics.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 4, p. 357, doi. 10.1093/jigpal/10.4.357
- By:
- Publication type:
- Article
6
Description of Modal Logics Inheriting Admissible Rules for K4.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 4, p. 401, doi. 10.1093/jigpal/10.4.401
- By:
- Publication type:
- Article