Revisiting completeness for the Kn modal logics: a new proof.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 1, p. 101, doi. 10.1093/jigpal/8.1.101
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2000 AND VI 8 AND IP 1
Results: 5
1
2
Temporal approach to causal knowledge.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 1, p. 87, doi. 10.1093/jigpal/8.1.87
- By:
- Publication type:
- Article
3
Propositional temporal logics: decidability and completeness.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 1, p. 55, doi. 10.1093/jigpal/8.1.55
- By:
- Publication type:
- Article
4
Many-valued reflexive autoepistemic logic.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 1, p. 33, doi. 10.1093/jigpal/8.1.33
- By:
- Publication type:
- Article
5
Linear explicit substitutions.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 1, p. 7, doi. 10.1093/jigpal/8.1.7
- By:
- Publication type:
- Article