Skip to content

S5 S5 S5 Lacks the Finite Model Property.

gnes Kurucz

VenueBAiML
Year2000
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.