Works matching IS 13670751 AND DT 2005 AND VI 13 AND IP 3
Results: 9
Representability in Default Logic.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 335, doi. 10.1093/jigpal/jzi028
- By:
- Publication type:
- Article
A Resolution Calculus for Shortening Proofs.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 307, doi. 10.1093/jigpal/jzi027
- By:
- Publication type:
- Article
Coherent Systems.
- Published in:
- 2005
- By:
- Publication type:
- Book Review
Cardinal spaces and topological representations of bimodal logics.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 301, doi. 10.1093/jigpal/jzi025
- By:
- Publication type:
- Article
Hybrid logics with Sahlqvist axioms.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 293, doi. 10.1093/jigpal/jzi024
- By:
- Publication type:
- Article
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 361, doi. 10.1093/jigpal/jzi023
- Publication type:
- Article
The Complexity of Propositional Proofs with the Substitution Rule.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 287, doi. 10.1093/jigpal/jzi021
- By:
- Publication type:
- Article
Amalgamation Theorems in Algebraic Logic, an overview.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 277, doi. 10.1093/jigpal/jzi020
- By:
- Publication type:
- Article
The Unique Intermediate Logic Whose Every Rule is Archetypal.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 269, doi. 10.1093/jigpal/jzi019
- By:
- Publication type:
- Article