Vol-809⫷ Vol-810 ⫸Vol-811
urn:nbn:de:0074-810-0

Copyright © 2011 for the individual papers by the papers' authors. Copyright © 2011 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).
None⫷None⫸None
Domenico CantoneMarianna Nicolosi Asmundo

On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic