Works matching IS 13670751 AND DT 1999 AND VI 7 AND IP 6
Results: 5
An expectation-transformer model for probabilistic temporal logic.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 6, p. 779, doi. 10.1093/jigpal/7.6.779
- By:
- Publication type:
- Article
Tableau calculus for local cubic modal logic and its implementation.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 6, p. 755, doi. 10.1093/jigpal/7.6.755
- By:
- Publication type:
- Article
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 6, p. 733, doi. 10.1093/jigpal/7.6.733
- By:
- Publication type:
- Article
Equality-free logic: the method of diagrams and preservation theorems.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 6, p. 717, doi. 10.1093/jigpal/7.6.717
- By:
- Publication type:
- Article
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 6, p. 683, doi. 10.1093/jigpal/7.6.683
- By:
- Publication type:
- Article