Modal logic, transition systems and processes

• Authors:

• Johan F.A.K. Benthem;D. J Eijck;Vera N. Stebletsova

• Affiliations:

• -;-;-

• Venue:
• Modal logic, transition systems and processes
• Year:
• 1993