Proof Theory of Modal Logic

Inbunden, Engelska, 1996

2 009 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Consisting of 15 research papers, this text deals with formal, mechanizable reasoning in modal logics. It brings together various directions in the development of generalized sequent-style proof systems. The first part contains papers which give a description of powerful proof-theoretic methods as applied to the normal modal logic S4. Part II is concerned with a number of generalizations of the standard proof-theoretic formats, while the third part presents new and important results on semantics-based proof systems for modal logic.

Produktinformation

Utgivningsdatum1996-10-31
Mått155 x 235 x 24 mm
Vikt662 g
FormatInbunden
SpråkEngelska
SerieApplied Logic Series
Antal sidor318
Upplaga1996
FörlagKluwer Academic Publishers
ISBN9780792341208

Tillhör följande kategorier

I Standard Proof Systems.- A Contraction-free Sequent Calculus for S4.- Transfer of Sequent Calculus Strategies to Resolution for S4.- A Linear Approach to Modal Proof Theory.- Refutations and Proofs in S4.- II Extended Formalisms.- Relational Proof Systems for Modal Logics.- The Display Problem.- Power and Weakness of the Modal Display Calculus.- A Proof-theoretic Proof of Functional Completeness for Many Modal and Tense Logics.- On the Completeness of Classical Modal Display Logic.- Modal Sequents.- Modal Functional Completeness.- A Computational Interpretation of Modal Proofs.- Gabbay-style Calculi.- III Translation-based Proof Systems.- Translating Graded Modalities into Predicate Logics.- From Classical to Normal Modal Logics.