مرکز منطقه ای اطلاع رساني علوم و فناوري - Formal justification of underspecification for S5

Title of article :

Formal justification of underspecification for S5

Author/Authors :

Eric Aaron، نويسنده , , David Gries، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1997

Pages :

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 :