Handbook of Philosophical Logic, Volume 16
Dov M. Gabbay, Franz Guenthner
Springer Science & Business Media, Feb 1, 2011 - Philosophy - 310 pages
Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
AGM postulates approach Artificial Intelligence Avron axiom belief base belief change belief revision belief set canonical calculus Chomsky classical logic clause consequence relation consistent cut-elimination Dalal Darwiche and Pearl DEFINITION denote derived equivalent example faithful assignment finite set first-order formal forms of rank framework Gabbay Gärdenfors Gentzen-type given grammar inconsistent intermediate logic interpretation intuitionistic logic inverse scope reading iterated Katsuno and Mendelzon L-structure Linguistics midwestern city mod(K modal logic modus ponens natural language Nebel Nmatrix non-deterministic normal form notion paraconsistent logics predicate problem proof propositional logic provable QNP scope quantifier scope reasoning refutation rule refutation system representation requirements revision operation revision process Rodrigues satisfies scope ambiguity scope phenomena semantics sentence sequent set contraction set of formulae Skolem functions structure subsets syntactic syntax system of spheres THEOREM translation truth-values update valuation wh-movement