Hybrid logic and its proof-theory / by Torben Braüner

<http://data.bibliotheken.nl/id/nbt/p331122189>

schema:ProductModel schema:CreativeWork schema:Book
rdfs:label "Hybrid logic and its proof-theory / by Torben Braüner"
schema:name "Hybrid logic and its proof-theory"
schema:author Braüner, Torben
schema:sameAs <http://www.worldcat.org/oclc/694142997>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/7861b0c2167cf23fd931cbcddaf0c9e4>
kbdef:hasDerivative Hybrid logic and its proof-theory / by Torben Braüner
http://purl.org/dc/terms#issued "2011"
schema:about wiskundige logica
Mathematical logic
<http://data.bibliotheken.nl/id/thes/p077593421>
Theory of proof
<http://data.bibliotheken.nl/id/thes/p077601874>
Modale logica
schema:inLanguage "en"
schema:isPartOf Applied logic series
schema:isbn "9789400700017"
schema:numberOfPages 231
schema:publication <https://data.bibliotheken.nl/.well-known/genid/0bcfe6cd4922717e99726ee30019855d>

Inverse relations

[ .. ] → schema:isBasedOn → Hybrid logic and its proof-theory / by Torben Braüner

Hybrid logic and its proof-theory / by Torben Braünerschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql