skip to content
Gentzen calculi for modal propositional logic Preview this item
ClosePreview this item
Checking...

Gentzen calculi for modal propositional logic

Author: Francesca Poggiolesi
Publisher: Dordrecht : Springer, ©2011.
Series: Trends in logic, v. 32.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50's until today to provide modal logic with Gentzen calculi. In the third and  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Poggiolesi, Francesca.
Gentzen calculi for modal propositional logic.
Dordrecht : Springer, ©2011
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Francesca Poggiolesi
ISBN: 9789048196708 9048196701
OCLC Number: 695387016
Description: 1 online resource (xi, 222 pages).
Contents: Preface; Contents; Part I An Overview of the Sequent Calculus; 1 What Is a Good Sequent Calculus?; Part II Sequent Calculi for Modal Logic; 2 Modal Logic and Ordinary Sequent Calculi; 3 Purely Syntactic Methods; 4 Semantic Methods; 5 Comparing the Different Generalisations of the Sequent Calculus; Part III Tree-Hypersequent Calculi; 6 On the Tree-Hypersequent Calculi; 7 Syntactic Cut-Admissibility and Decidability; 8 Semantic Adequacy; 9 A Hypersequent Calculus for the System S5; 10 A Tree-Hypersequent Calculus for the Modal Logic of Provability.
Series Title: Trends in logic, v. 32.
Responsibility: Francesca Poggiolesi.

Abstract:

This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"This book is mainly devoted to an extensive presentation of the author's original formalisation of modal logics called tree-hypersequent calculus but other approaches are also Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/695387016> # Gentzen calculi for modal propositional logic
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "695387016" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/770200044#Place/dordrecht> ; # Dordrecht
    schema:about <http://experiment.worldcat.org/entity/work/data/770200044#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
    schema:about <http://experiment.worldcat.org/entity/work/data/770200044#Topic/mathematics_logic> ; # MATHEMATICS--Logic
    schema:about <http://id.worldcat.org/fast/1024350> ; # Modality (Logic)
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2011" ;
    schema:creator <http://viaf.org/viaf/161601367> ; # Francesca Poggiolesi
    schema:datePublished "2011" ;
    schema:description "Preface; Contents; Part I An Overview of the Sequent Calculus; 1 What Is a Good Sequent Calculus?; Part II Sequent Calculi for Modal Logic; 2 Modal Logic and Ordinary Sequent Calculi; 3 Purely Syntactic Methods; 4 Semantic Methods; 5 Comparing the Different Generalisations of the Sequent Calculus; Part III Tree-Hypersequent Calculi; 6 On the Tree-Hypersequent Calculi; 7 Syntactic Cut-Admissibility and Decidability; 8 Semantic Adequacy; 9 A Hypersequent Calculus for the System S5; 10 A Tree-Hypersequent Calculus for the Modal Logic of Provability."@en ;
    schema:description "This book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50's until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/770200044> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/770200044#Series/trends_in_logic> ; # Trends in logic ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/770200044#CreativeWork/gentzen_calculi_for_modal_propositional_logic> ;
    schema:name "Gentzen calculi for modal propositional logic"@en ;
    schema:productID "695387016" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/695387016#PublicationEvent/dordrecht_springer_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/770200044#Agent/springer> ; # Springer
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-11-16/2/9789048196708> ;
    schema:url <http://link.springer.com/10.1007/978-90-481-9670-8> ;
    schema:url <http://dx.doi.org/10.1007/978-90-481-9670-8> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-90-481-9670-8> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=371522> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-90-481-9669-2> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=646387> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9789048196708> ;
    schema:url <http://swbplus.bsz-bw.de/bsz43093520xcov.htm> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-90-481-9670-8> ;
    schema:workExample <http://worldcat.org/isbn/9789048196708> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/695387016> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/770200044#Series/trends_in_logic> # Trends in logic ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/695387016> ; # Gentzen calculi for modal propositional logic
    schema:name "Trends in logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/770200044#Topic/mathematics_infinity> # MATHEMATICS--Infinity
    a schema:Intangible ;
    schema:name "MATHEMATICS--Infinity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/770200044#Topic/mathematics_logic> # MATHEMATICS--Logic
    a schema:Intangible ;
    schema:name "MATHEMATICS--Logic"@en ;
    .

<http://id.worldcat.org/fast/1024350> # Modality (Logic)
    a schema:Intangible ;
    schema:name "Modality (Logic)"@en ;
    .

<http://viaf.org/viaf/161601367> # Francesca Poggiolesi
    a schema:Person ;
    schema:birthDate "1980" ;
    schema:familyName "Poggiolesi" ;
    schema:givenName "Francesca" ;
    schema:name "Francesca Poggiolesi" ;
    .

<http://worldcat.org/entity/work/data/770200044#CreativeWork/gentzen_calculi_for_modal_propositional_logic>
    a schema:CreativeWork ;
    rdfs:label "Gentzen calculi for modal propositional logic." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/695387016> ; # Gentzen calculi for modal propositional logic
    .

<http://worldcat.org/isbn/9789048196708>
    a schema:ProductModel ;
    schema:isbn "9048196701" ;
    schema:isbn "9789048196708" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.