Natural Deduction, Hybrid Systems and Modal Logics

• Main Author: Indrzejczak, Andrzej
• Corporate Author: SpringerLink (Online service)
• Format: Electronic Kit Book
• Language: English
• Published: Dordrecht Springer Science+Business Media B.V. 2010
• Series: Trends in Logic 30
• Subjects: Philosophy (General); Logic; Computer science; Algorithms; Logic, Symbolic and mathematical; Philosophy; Λογική, Συμβολική και μαθηματική; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Τεχνητή νοημοσύνη