Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/7277
Title: Formal Justification of Underspecification for S5
Authors: Aaron, Eric
Gries, David
Keywords: computer science
technical report
Issue Date: Feb-1997
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR97-1622
Abstract: We formalize the notion of underspecification as a means of avoiding problems with partial functions in modal logic S5 and some semantically related logics. For these logics, underspecification respects validity, so incorporating it into their semantics leaves their classes of valid formulae unchanged.
URI: http://hdl.handle.net/1813/7277
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
97-1622.pdf143.19 kBAdobe PDFView/Open
97-1622.ps265.4 kBPostscriptView/Open

Refworks Export

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

 

© 2014 Cornell University Library Contact Us