Local Variations on a Loose Theme: Modal Logic and Decidability

by Maarten Marx , Yde Venema
Citations:8 - 1 self