MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Basin, David A.
Matthews, Seán
Viganò, Luca		dblp
dblp
dblp
Editor(s):
Ginzburg, Jonathan
Khasidashvili, Zurab
Vogel, Carl
Levy, Jean-Jacques
Vallduvi, Enric		dblp
dblp
dblp
dblp
dblp
BibTeX cite key*:
Basin98a
Title, Booktitle
Title*:
A Modular Presentation of Modal Logics in a Logical Framework
Booktitle*:
Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Tbilisi, Georgia
Language:
English
Event Date*
(no longer used):
October 1995
Organization:
folli
Event Start Date:
Incorrect data type for operator or @Function: Time/Date expected Incorrect data type for operator or @Function: Time/Date expected Incorrect data type for operator or @Function: Time/Date expected
Event End Date:
Incorrect data type for operator or @Function: Time/Date expected Incorrect data type for operator or @Function: Time/Date expected Incorrect data type for operator or @Function: Time/Date expected
Publisher
Name*:
CSLI
URL:
Address*:
Stanford, USA
Type:
Vol, No, Year, pp.
Series:
Studies in Logic, Langugage and Information
Volume:
Number:
Month:
Pages:
293-307
Year*:
1998
VG Wort Pages:
ISBN/ISSN:
1-5786-099-6
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
We present a theoretical and practical approach to the modular natural
deduction presentation of modal logics and their implementation in a
logical framework. Our work treats a large and well-known class of
modal logics (including $K$, $KD$, $T$, $B$, $S4$, $S4.2$, $S5$) in a
uniform way with respect to soundness and completeness for semantics,
and faithfulness and adequacy of the implementation. Moreover, it results
in a pleasingly simple and usable implementation of these logics.
Keywords:
logical frameworks, theorem proving, non-classical logics
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:
@INPROCEEDINGS{Basin98a,
AUTHOR = {Basin, David A. and Matthews, Se{\'a}n and Vigan{\`o}, Luca},
 EDITOR = {Ginzburg, Jonathan and Khasidashvili, Zurab and Vogel, Carl and Levy, Jean-Jacques and Vallduvi, Enric},
 TITLE = {A Modular Presentation of Modal Logics in a Logical Framework},
 BOOKTITLE = {Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers},
 PUBLISHER = {CSLI},
 YEAR = {1998},
 ORGANIZATION = {folli},
 PAGES = {293--307},
 SERIES = {Studies in Logic, Langugage and Information},
 ADDRESS = {Tbilisi, Georgia},
 ISBN = {1-5786-099-6},
}

Entry last modified by Anja Becker, 11/29/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm		Created
03/06/1996 08:57:54 PM
Revisions
15.
14.
13.
12.
11.		Editor(s)
Anja Becker
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm		Edit Dates
29.11.2010 14:17:19
07.04.99 16:34:05
01.04.99 17:19:52
31.03.99 20:30:06
29/05/98 12:27:40