Handbook of Philosophical Logic: Volume 8Dov M. Gabbay, Franz Guenthner Springer Science & Business Media, 6 gru 2012 - 354 The eighth volume of the Second Edition contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties. Audience: Students and researchers whose work or interests involve philosophical logic and its applications. |
Inne wydania - Wyświetl wszystko
Kluczowe wyrazy i wyrażenia
actual obligation alethic modal antecedent Åqvist axiom schemata axiomatic Belnap binary relation Castañeda Chisholm set connectives context cut-elimination cut-free d-wffs defined definition denote derive DIntKt direct answers display logic Dordrecht dyadic deontic logic equivalent erotetic expressed finite formal formula G. H. Von Wright Gentzen Goré Harrah Hilpinen Hintikka ideal obligation implies induction interrogative introduction rules kill language Lemma modal logic monadic deontic logic normal modal normative notion ob(X obligatory operators paradox parametric Philosophical Logic possible Prakken and Sergot problem proof Proof Theory propositional logic provable questions reduction result satisfies scenario schema Section semantics sequent calculus sequent systems set of sentences Smiley-Hanson systems structural rules succedent Suzy Mae temporal logic tense logical THEOREM theory tion translation true valid variables violation Wansing Wright