✦ LIBER ✦

[International Mathematical Series] Mathematical Problems from Applied Logic I Volume 4 || Open Problems in Logical Dynamics

✍ Scribed by Gabbay, Dov M.; Goncharov, Sergei S.; Zakharyaschev, Michael

Book ID: 120228646
Publisher: Springer New York
Year: 2006
Tongue: English
Weight: 423 KB
Edition: 2006
Category: Article
ISBN: 038731072X
DOI: 10.1007/0-387-31072-X_3

No coin nor oath required. For personal study only.

✦ Synopsis

This is an overview of the current state of knowledge along with open problems and perspectives, clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and computability theory. The book includes contributions concerning the role of logic today, including unexpected aspects of contemporary logic and the application of logic. This book will be of interest to logicians and mathematicians in general.

📜 SIMILAR VOLUMES

Dov M. Gabbay, Sergei S. Goncharov and M

Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.), Mathematical Problems from Applied Logic I

✍ Anders Søgaard 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 139 KB

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress Volume 44 || Symposium on Decision Problems: On a Decision Method in Restricted Second Order Arithmetic

✍ Richard Büchi, J. 📂 Article 📅 1966 🏛 Elsevier 🌐 English ⚖ 455 KB

Mathematical aspects of scheduling and a

Mathematical aspects of scheduling and applicatons: R. Bellman, A.O. Esogbue and I. Nabeshima Volume 4 in: International Series in Modern Applied Mathematics and Computer Science, Pergamon Press, Oxford, 1982, xiv + 329 pages, £17.50

✍ Luk N. Van Wassenhove 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 321 KB

AIP Conference Proceedings [AIP APPLICAT

AIP Conference Proceedings [AIP APPLICATION OF MATHEMATICS IN TECHNICAL AND NATURAL SCIENCES: 4th International Conference--AMiTaNS '12 Memorial Volume devoted to Prof. Christo I. Christov - St. Constantine and Helena, Bulgaria (11–16 June 2012)] - Numerical experiments with applying approximate LU-factorizations as preconditioners for solving SLAEs with coefficient matrices from the "Sparse Matrix Market"

✍ Georgiev, K.; Zlatev, Z. 📂 Article 📅 2012 🏛 AIP ⚖ 926 KB