Mathematical problems from applied logic I : logics for the XXIst century
edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
New York : Springer, ©2006-
v. <1> ; 24 cm.
Serie: International mathematical series ; v. 4
ISBN: 0387286888
Incluye índice.
Reseña: MathSciNet, 2006f:03007
Contenido
- Franz Baader and Ralf Küsters, Nonstandard inferences in description logics: the story so far
- Lev Beklemishev and Albert Visser, Problems in the logic of provability
- Johan van Benthem, Open problems in logical dynamics
- S. Barry Cooper, Computability and emergence
- John N. Crossley, Samsara
- Wilfrid Hodges, Two doors to open
- Lawrence S. Moss, Applied logic: a manifesto.