ENGLISH

Mathematical problems from applied logic I: Logics for the XXIst century

By Zakharyaschev , Michael; Goncharov , S. S.; Gabbay , Dov M et al. (eds.)

Book information

Publisher
Springer
Year
2006
ISBN
978-0387-28688-4, 0-387-28688-8
Language
english
Format
PDF
Filesize
1 MB (1441417 bytes)
Series
International mathematical series 4-5
Pages
376\376
Topic
Mathematics Logic
Library
kolxo3
Time added
2019-04-25 18:00:00
LogicSymbolic and mathematical.

Description

Content: v. 1. Nonstandard inferences in description logics : the story so far / Franz Baader and Ralf Küsters. Problems in the logic of provability / Lev Beklemishev and Albert Visser. Open problems in logical dynamics / Johan van Benthem. Computability and emergence / S. Barry Cooper. Samsara / John N. Crossley. Two doors to open / Wilfrid Hodges. Applied logic : a manifesto / Lawrence S. Moss.

Similar books