140
click to vote
AIML
1998
15 years 7 months ago
1998
Wedevelopatranslation-basedviewdualofmodallogicasthestudyofintensionallanguages thatareatthesametimeinterestingexpressiveanddecidablepartsofstandardlogicalsystems. Thistandemappro...