Vol-2213⫷ Vol-2214 ⫸Vol-2215
urn:nbn:de:0074-2214-0


Vol-2214/paper7⫷Vol-2214/paper8⫸Vol-2214/paper10

Forward Countermodel Construction in Modal Logic K