skip to content
Cut-free sequent and tableau systems for propositional diodorean modal logics. Preview this item
ClosePreview this item
Checking...

Cut-free sequent and tableau systems for propositional diodorean modal logics.

Author: Rajeev Prabhakar Gore; University of Manchester. Department of Computer Science.
Publisher: University of Manchester, Department of Computer Science, 1993.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Rajeev Prabhakar Gore; University of Manchester. Department of Computer Science.
OCLC Number: 60231373
Description: [1 volume]

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/60231373> # Cut-free sequent and tableau systems for propositional diodorean modal logics.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "60231373" ;
   schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
   schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/139814167> ; # University of Manchester. Department of Computer Science.
   schema:creator <http://experiment.worldcat.org/entity/work/data/3857411229#Person/gore_rajeev_prabhakar> ; # Rajeev Prabhakar Gore
   schema:datePublished "1993" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3857411229> ;
   schema:inLanguage "en" ;
   schema:name "Cut-free sequent and tableau systems for propositional diodorean modal logics."@en ;
   schema:productID "60231373" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/60231373#PublicationEvent/university_of_manchester_department_of_computer_science_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3857411229#Agent/university_of_manchester_department_of_computer_science> ; # University of Manchester, Department of Computer Science
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/60231373> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3857411229#Agent/university_of_manchester_department_of_computer_science> # University of Manchester, Department of Computer Science
    a bgn:Agent ;
   schema:name "University of Manchester, Department of Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857411229#Person/gore_rajeev_prabhakar> # Rajeev Prabhakar Gore
    a schema:Person ;
   schema:familyName "Gore" ;
   schema:givenName "Rajeev Prabhakar" ;
   schema:name "Rajeev Prabhakar Gore" ;
    .

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

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
   schema:name "Computer software"@en ;
    .

<http://viaf.org/viaf/139814167> # University of Manchester. Department of Computer Science.
    a schema:Organization ;
   schema:name "University of Manchester. Department of Computer Science." ;
    .

<http://www.worldcat.org/title/-/oclc/60231373>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/60231373> ; # Cut-free sequent and tableau systems for propositional diodorean modal logics.
   schema:dateModified "2017-03-31" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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