Applied logic

a manifesto

2006

Lawrence S. Moss

in: Mathematical problems from applied logic I, Berlin,

Computability and emergence

2006

S. Cooper

in: Mathematical problems from applied logic I, Berlin,

Mathematical problems from applied logic I

logics for the XXIst century

2006

Dov M. Gabbay, Sergei Goncharov, Michael Zakharyaschev (eds)

Berlin, Springer

Nonstandard inferences in description logics

the story so far

2006

Franz Baader, Ralf Küsters

in: Mathematical problems from applied logic I, Berlin,

Open problems in logical dynamics

2006

Johan van Benthem

in: Mathematical problems from applied logic I, Berlin,

Problems in the logic of provability

2006

Lev Beklemishev, Albert Visser

in: Mathematical problems from applied logic I, Berlin,

Samsara

2006

John N. Crossley

in: Mathematical problems from applied logic I, Berlin,

Two doors to open

2006

Wilfrid Hodges

in: Mathematical problems from applied logic I, Berlin,