|
M4M-1 gave rise to a special issue: Methods for Modalities I. C. Areces, E. Franconi, R. Gore, M. de Rijke, H. Schlingloff (editors). Special Issue in the Logic Journal of the IGPL, Volume 8(3). 2000.
The contents of the special issue can be found below
- Use Your Logic (Editorial)
by Carlos Areces,
Enrico Franconi,
Rajeev Gore,
Maarten de Rijke,
and Holger Schlingloff.
- Practical Reasoning for Very Expressive Description Logics
by Ian Horrocks,
Ulrike Sattler,
and Stephan Tobies.
- Resolution-Based Methods for Modal Logics
by Hans de Nivelle,
Renate Schmidt,
and Ullrich Hustadt.
- An Analysis of Empirical Testing for Modal Decision Procedures
by Ian Horrocks,
Peter F. Patel-Schneider,
and Roberto Sebastiani.
- Efficient Fragment of Transitive Closure Logic
by Natasha Alechina,
and Neil Immerman.
- Representation, Reasoning and Relational Structures: A Hybrid Logic Manifesto
by Patrick Blackburn.
|
|
