IHR WARENKORB IST AKTUELL LEER.

Haben Sie noch nichts passendes gefunden? Stöbern Sie durch unser komplettes Sortiment.

Oder melden Sie sich an bzw. registrieren Sie sich.

Ihre Vorteile

Kostenlose Lieferung
Kauf auf Rechnung
Ex Libris Tiefpreis
Filiallieferung und 650+ Abholorte
Rabatt-Bons als Club-Mitglied

Handbook of Philosophical Logic

Beschreibung

Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems. Comprehensive coverage of Belief Revision Refutation Systems in Propositional Logic Quantifier Scope in...

Format auswählen

Fester Einband

CHF254.40

TIEFPREIS

CHF254.40

Print on Demand - Exemplar wird für Sie gedruckt.

Kostenlose Lieferung

Kein Rückgaberecht

Beschreibung

Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.

Comprehensive coverage of Belief Revision Refutation Systems in Propositional Logic Quantifier Scope in Formal Linguistics Non-deterministic Semantics for Logical Systems

Klappentext
This book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field. Topics include, Belief Revision, Refutation Systems in Propositional Logic, Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.

Inhalt

Editorial Preface: Dov M. Gabbay.- Belief Revision: Odinaldo Rodrigues, Dov Gabbay and Alessandra Russo.- Refutation Systems in Propositional Logic: Tomasz Skura.- Quantifier Scope in Formal Linguistics: E. G. Ruys and Yoad Winter.- Non-deterministic Semantics for Logical Systems: Arnon Avron and Anna Zamansky.- Index.