M. Slanina

Alternative Translation Techniques for Propositional and First-Order Modal Logics
Supporting automated deduction in first-order modal logics

Published with Wowchemy — the free, open source website builder that empowers creators.