Title of article
Formal justification of underspecification for S5
Author/Authors
Eric Aaron، نويسنده , , David Gries، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1997
Pages
7
From page
115
To page
121
Keywords
Undefined , Formal semantics , Program specification , Logic , modal logic , Everywhere operator , Underspecification
Journal title
Information Processing Letters
Serial Year
1997
Journal title
Information Processing Letters
Record number
128776
Link To Document