Volume 8, Issue 3, May 2000
Article
Editorial
Logic Journal of the IGPL, Volume 8, Issue 3, May 2000, Pages 231–237, https://doi.org/10.1093/jigpal/8.3.231
Practical reasoning for very expressive description logics
Logic Journal of the IGPL, Volume 8, Issue 3, May 2000, Pages 239–263, https://doi.org/10.1093/jigpal/8.3.239
Resolution-based methods for modal logics
Logic Journal of the IGPL, Volume 8, Issue 3, May 2000, Pages 265–292, https://doi.org/10.1093/jigpal/8.3.265
An analysis of empirical testing for modal decision procedures
Logic Journal of the IGPL, Volume 8, Issue 3, May 2000, Pages 293–323, https://doi.org/10.1093/jigpal/8.3.293
Reachability logic: an efficient fragment of transitive closure logic
Logic Journal of the IGPL, Volume 8, Issue 3, May 2000, Pages 325–337, https://doi.org/10.1093/jigpal/8.3.325
Representation, reasoning, and relational structures: a hybrid logic manifesto
Logic Journal of the IGPL, Volume 8, Issue 3, May 2000, Pages 339–365, https://doi.org/10.1093/jigpal/8.3.339
