Login / Signup

On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic.

Domenico CantoneMarianna Nicolosi Asmundo
Published in: Fundam. Informaticae (2013)
Keyphrases