Natural Deduction, Hybrid Systems and Modal Logics - Indrzejczak, Andrzej; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2010)
Keywords: Philosophy (General).; Logic; Computer science; Artificial intelligence; Algorithms; Logic, Symbolic and mathematical; Philosophy; Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Algorithms; Artificial Intelligence (incl. Robotics).