Works matching IS 13670751 AND DT 2006 AND VI 14 AND IP 1
Results: 7
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 1, p. 97, doi. 10.1093/jigpal/jzk007
- Publication type:
- Article
Partially-Elementary Extension Kripke Models: A Characterization and Applications.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 1, p. 73, doi. 10.1093/jigpal/jzk005
- By:
- Publication type:
- Article
S4 is Topologically Complete for (0,1): a Short Proof.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 1, p. 63, doi. 10.1093/jigpal/jzk004
- By:
- Publication type:
- Article
A Minimal Hybrid Logic for Intervals.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 1, p. 35, doi. 10.1093/jigpal/jzk003
- By:
- Publication type:
- Article
Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 1, p. 15, doi. 10.1093/jigpal/jzk002
- By:
- Publication type:
- Article
On some questions of L. Åqvist.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 1, p. 1, doi. 10.1093/jigpal/jzk001
- By:
- Publication type:
- Article
Independence Results in Algebraic Logic.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 1, p. 87, doi. 10.1093/jigpal/jzi058
- By:
- Publication type:
- Article