A relational formalisation of a generic many—valued modal logic

• Authors:

• Beata Konikowska;Ewa Orłowska

• Affiliations:

• -;-

• Venue:
• Relational methods for computer science applications
• Year:
• 2001