Modal logics for knowledge representation systems

• Authors:

• D. Vakarelov

• Affiliations:

• -

• Venue:
• Logic at Botik'89 Symposium on logical foundations of computer science
• Year:
• 1989