Vol-2094⫷ Vol-2095 ⫸Vol-2096
urn:nbn:de:0074-2095-0


Vol-2095/paper3⫷Vol-2095/paper4⫸Vol-2095/paper5

Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms