Logics with quantifiers that range over a model-theoretic universe of propositions are interesting for several applications. For example, in the context of epistemic logic the knowledge axioms can be expressed by the single ...

Durante los últimos años, Colombia se ha destacado por su participación en diversas disciplinas deportivas, logrando competir en casi la totalidad de competiciones orbitales en los calendarios y torneos intercontinentales, ...