giangiacomo Modal Logic and Model Theory