|
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, c2006- v. <1> ; 24 cm. — (International mathematical series ; v. 4)
Incluye índice.
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.
ISBN 0387286888
|