"Modalność (logika)." . . "Modality (Logic)" . . "Logika modalna." . . "Deductie." . . "Beweistheorie." . . "Artificial Intelligence (incl. Robotics)" . . "Algorithms." . . "Proof theory." . . "Logik." . . "Philosophy (General)" . . "Modalité (logique)." . . "Modalité (Logique)" . . "Electronic books"@en . . . . "Natural Deduction, Hybrid Systems and Modal Logics" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "This volume provides an extensive treatment of Natural Deduction and related types of proof systems, with a focus on the practical aspects of proof methods. The book has two main aims: Its first aim is to provide a systematic and historical survey of the variety of Natural Deduction systems in Classical and Modal Logics. The second aim is to present some systems of hybrid character, mixing Natural Deduction with other kinds of proof methods (including Sequent systems, Tableaux, Resolution). Such systems tend to be more universal and effective, because of the possibility of mixing strategies of."@en . . . . . . . . . . . . . "Natural deduction, hybrid systems and modal logics" . "Natural deduction, hybrid systems and modal logics"@en . . . "Mathematical Logic and Formal Languages." . . "Mathematical Logic and Formal Languages" . "Computer science." . . "Logique." . . "Artificial intelligence." . . "Philosophy." . . "Modale logica." . . "Teoria dowodu." . . "Dowód." . . "Dedukcja." . . "Logic." . . "Logic, Symbolic and mathematical." . . "Mathematical Logic and Foundations." . . "Mathematical Logic and Foundations" . "Systemy hybrydowe." . . . . "Dedukcja (logika)." . .