Mathematical problems from applied logic. I. Logics for the XXIst century. (English) Zbl 1085.03002
International Mathematical Series (New York) 4. New York, NY: Springer (ISBN 0-387-28688-8/hbk). xxviii, 348 p. (2006).
Show indexed articles as search result.
The articles of this volume will be reviewed individually.Indexed articles:
Baader, Franz; Küsters, Ralf, Nonstandard inferences in description logics: the story so far, 1-75 [Zbl 1165.68496]
Beklemishev, Lev; Visser, Albert, Problems in the logic of provability, 77-136 [Zbl 1100.03051]
van Bentham, Johan, Open problems in logical dynamics, 137-192 [Zbl 1101.03018]
Cooper, S. Barry, Computability and emergence, 193-231 [Zbl 1110.03003]
Crossley, John N., Samsara, 233-276 [Zbl 1101.03001]
Hodges, Wilfrid, Two doors to open, 277-316 [Zbl 1107.03002]
Moss, Lawrence S., Applied logic: a manifesto, 317-343 [Zbl 1107.03310]
MSC:
| 03-06 | Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations |
| 00B15 | Collections of articles of miscellaneous specific interest |
