skip to content
Natural deduction, hybrid systems and modal logics Preview this item
ClosePreview this item
Checking...

Natural deduction, hybrid systems and modal logics

Author: Andrzej Indrzejczak
Publisher: New York : Springer, 2010.
Series: Trends in logic, v. 30.
Edition/Format:   eBook : Document : English : 1st edView all editions and formats
Summary:

Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of  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:
Indrzejczak, Andrzej.
Natural deduction, hybrid systems and modal logics.
New York : Springer, 2010
(DLC) 2010922895
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Andrzej Indrzejczak
ISBN: 9789048187850 9048187850
OCLC Number: 748362374
Description: 1 online resource (xxiii, 491 pages).
Contents: Introduction --
Preliminaries --
Standard natural deduction --
Other deductive systems --
Extended natural deduction --
Survey of modal logics --
Standard approach to basic modal logics --
Beyond 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.
Series Title: Trends in logic, v. 30.
Responsibility: Andrzej Indrzejczak.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/748362374> # Natural deduction, hybrid systems and modal logics
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "748362374" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://dewey.info/class/162/e22/> ;
   schema:about <http://id.worldcat.org/fast/1024350> ; # Modality (Logic)
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:about <http://id.loc.gov/authorities/classification/BC199> ;
   schema:bookEdition "1st ed." ;
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/234695702> ; # Andrzej Indrzejczak
   schema:datePublished "2010" ;
   schema:description "Introduction -- Preliminaries -- Standard natural deduction -- Other deductive systems -- Extended natural deduction -- Survey of modal logics -- Standard approach to basic modal logics -- Beyond 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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/369781591> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/369781591#Series/trends_in_logic> ; # Trends in logic ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/369781591#CreativeWork/natural_deduction_hybrid_systems_and_modal_logics> ;
   schema:name "Natural deduction, hybrid systems and modal logics"@en ;
   schema:productID "748362374" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/748362374#PublicationEvent/new_york_springer_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/369781591#Agent/springer> ; # Springer
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-90-481-8784-3> ;
   schema:url <http://site.ebrary.com/id/10400172> ;
   schema:workExample <http://worldcat.org/isbn/9789048187850> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/748362374> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/369781591#Series/trends_in_logic> # Trends in logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/748362374> ; # Natural deduction, hybrid systems and modal logics
   schema:name "Trends in logic ;" ;
    .

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

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

<http://link.springer.com/openurl?genre=book&isbn=978-90-481-8784-3>
   rdfs:comment "Springer eBooks (Mathematics and Statistics 2010)" ;
    .

<http://viaf.org/viaf/234695702> # Andrzej Indrzejczak
    a schema:Person ;
   schema:familyName "Indrzejczak" ;
   schema:givenName "Andrzej" ;
   schema:name "Andrzej Indrzejczak" ;
    .

<http://worldcat.org/entity/work/data/369781591#CreativeWork/natural_deduction_hybrid_systems_and_modal_logics>
    a schema:CreativeWork ;
   rdfs:label "Natural deduction, hybrid systems and modal logics." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/748362374> ; # Natural deduction, hybrid systems and modal logics
    .

<http://worldcat.org/isbn/9789048187850>
    a schema:ProductModel ;
   schema:isbn "9048187850" ;
   schema:isbn "9789048187850" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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