de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Extending a logical framework with a modal connective for validity

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons45002

Matthews,  Seán
Programming Logics, MPI for Informatics, Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Matthews, S. (1997). Extending a logical framework with a modal connective for validity. In M. Abadi, & T. Ito (Eds.), Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97) (pp. 491-514). Berlin, Germany: Springer.


Cite as: http://hdl.handle.net/11858/00-001M-0000-000F-39DE-D
Abstract
Logical frameworks, formal systems for programming consequence based proof systems, are well known. The notations that have been proposed are suited best to natural deduction style presentations based on truth consequence. We develop a conservative extension of a typical logical framework providing a modal connective which we can use to formalise validity. We argue that this extension is sensible, and provide example encodings of non-standard logics in its terms.