Natural Deduction, Hybrid Systems and Modal Logics

AvAndrzej Indrzejczak

Inbunden, Engelska, 2010

Del i serien Trends in Logic

2 433 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

2 433 kr

Beskrivning

The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.

Produktinformation

Utgivningsdatum:2010-06-11
Mått:155 x 235 x 35 mm
Vikt:871 g
Format:Inbunden
Språk:Engelska
Serie:Trends in Logic
Antal sidor:492
Upplaga:2010
Förlag:Springer
ISBN:9789048187843

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik
Artificiell intelligens inom Data och IT

Mer om författaren

Andrzej Indrzejczak is professor of logic and Head of the Department of General Methodology at the University of Lodz, Poland. His scientific interests include the proof theory for non-classical logics, the philosophy of logic and the methodology of science. He is the author of three books and numerous papers concerned mainly with the investigation of proof techniques for non-classical logics, published e.g. in Bulletin of the Section of Logic, Logic Journal of the IGPL, Logic and Logical Philosophy, Logica Trianguli, and Studia Logica.

Innehållsförteckning

Preliminaries.- Standard Natural Deduction.- Other Deductive Systems.- Extended Natural Deduction.- Survey of Modal Logics.- Standard Approach to Basic Modal Logics.- Beyond Basic Logics and Standard Systems.- Labelled Systems in Modal Logics.- Logics of Linear Frames.- Analytic Labelled ND and Proof Search.- Modal Hybrid Logics.- Proof Methods for MHL.