Del 2 - Applied Logic Series

Proof Theory of Modal Logic

Inbunden, Engelska, 1996

2 029 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.

Du kanske också är intresserad av

Del 13

What is Negation?

Dov M. Gabbay, Heinrich Wansing

Häftad

2 699 kr

Proof Theory of N4-Paraconsistent Logics

Norihiro Kamide, Heinrich Wansing

Häftad

299 kr

Advances In Modal Logic, Volume 3

WOLTER FRANK, Maarten De Rijke, Heinrich Wansing, Frank Wolter, Michael Zakharyaschev, The Netherlands) De Rijke, Maarten (Univ Of Amsterdam, Germany) Wansing, Heinrich (Dresden Univ Of Technology, Uk) Wolter, Frank (Univ Of Liverpool, Uk) Zakharyaschev, Michael (King's College London, Maarten de Rijke

Inbunden

2 829 kr