Authors:
- The first to show that the scope of application of Natural Deduction systems is far beyond the one usually considered
- The first comprehensive presentation of hybrid deductive systems mixing Natural Deduction with Resolution
- The first to label Natural Deduction systems for a wide spectrum of Temporal Logics
- Provides a detailed presentation of problems connected with the formalization of Logics of linear time
- Gives a detailed exposition of deductive systems for Hybrid Logics
Part of the book series: Trends in Logic (TREN, volume 30)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Dept. Logic, University of Lódz, Lódz, Poland
Andrzej Indrzejczak
About the author
Andrzej Indrzejczak is professor of logic and Head of the Department of General Methodology at the University of Lodz, Poland. His scientific interests include the proof theory for non-classical logics, the philosophy of logic and the methodology of science. He is the author of three books and numerous papers concerned mainly with the investigation of proof techniques for non-classical logics, published e.g. in Bulletin of the Section of Logic, Logic Journal of the IGPL, Logic and Logical Philosophy, Logica Trianguli, and Studia Logica.
Bibliographic Information
Book Title: Natural Deduction, Hybrid Systems and Modal Logics
Authors: Andrzej Indrzejczak
Series Title: Trends in Logic
DOI: https://doi.org/10.1007/978-90-481-8785-0
Publisher: Springer Dordrecht
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer Science+Business Media B.V. 2010
Hardcover ISBN: 978-90-481-8784-3Published: 11 June 2010
Softcover ISBN: 978-94-007-3243-8Published: 05 September 2012
eBook ISBN: 978-90-481-8785-0Published: 03 July 2010
Series ISSN: 1572-6126
Series E-ISSN: 2212-7313
Edition Number: 1
Number of Pages: XIV, 492
Topics: Logic, Theory of Computation, Artificial Intelligence, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Algorithms