Hybrid logic and its proof-theory (Applied logic series ; v. 37)

Hybrid logic and its proof-theory

(Applied logic series ; v. 37)

Notes on use

Detailed bibliographic record

Contents：: Introduction to hybrid logic. Informal motivation ; Formal syntax and semantics ; The origin of hybrid logic in prior's work ; The development since p...

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 9789400700017
9400700016
ISSN (series): 1386-2790
Title: Hybrid logic and its proof-theory
Author/Editor: by Torben Braüner.
Series Title: Applied logic series ; v. 37
Title Heading: Applied logic series ; v. 37.
Author Heading: Braüner, Torben.
Publication, Distribution, etc.: Dordrecht : Springer
New York : Springer
Publication Date: c2011.
Publication Date (W3CDTF): 2011
Extent: xiii, 231 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Proof theory.
Logic, Symbolic and mathematical.
LCC: QA9.54
NDLC: MA41
Target Audience: 一般
Note (Bibliography): Includes bibliographical references (p. 221-228) and index.
Holding library: 国立国会図書館
Call No.: MA41-B34
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 023111570
http://id.ndl.go.jp/bib/023111570
LC Control Number: 2010938944
https://lccn.loc.gov/2010938944
OCLC No.: 663950223
https://www.worldcat.org/oclc/663950223
Bibliographic Record Category (NDL): 211