tag : modal logic

1 publication
page_white_acrobat Basic Modal Logic (1984) — Robert Bull, Krister Segerberg
[ tag cloud  /  publications ]