Open Access System for Information Sharing

Login Library

 

Article
Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

A Modal Logic Internalizing Normal Proofs

Title
A Modal Logic Internalizing Normal Proofs
Authors
Park, SIm, H
POSTECH Authors
Park, S
Date Issued
Oct-2011
Publisher
Elsevier
Keywords
Normal proof; Modal logic; Sequent calculus; Natural deduction system; Reflective system
URI
http://oasis.postech.ac.kr/handle/2014.oak/17114
DOI
10.1016/J.IC.2010.09.010
ISSN
0890-5401
Article Type
Article
Citation
INFORMATION AND COMPUTATION, vol. 209, no. 12, page. 1519 - 1535, 2011-10
Files in This Item:
There are no files associated with this item.

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher

박성우PARK, SUNGWOO
Dept of Computer Science & Enginrg
Read more

Views & Downloads

Browse