Natural deduction, hybrid systems and modal logics - Indrzejczak, Andrzej; SpringerLink (Online service) (Dordrecht : Springer Science+Business Media B.V., 2010)
Keywords: Logic; Modality (Logic); Philosophy; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Algorithms; Artificial Intelligence (incl. Robotics)