Buscar
Mostrando ítems 91-100 de 782
Contrafácticos: ¿una dieta limitada de ejemplos?Contrafácticos: ¿una dieta limitada de ejemplos?
(Universidad de Costa Rica, 2015)
El chantaje como coacción. Una reconstrucción lógica de la distinción entre amenazas y ofertas condicionales
(Universidad de Alicante, 2018)
El artículo presenta un argumento a favor de identificar el fundamento de ilicitud del chantaje
con el hecho de que este debe ser entendido como una variante de coacción mediante
amenaza. Para ello, y tras ofrecer una ...
Properties of saturation in monotonic neighbourhood models and some applications
(Springer, 2015-08)
In this paper we shall discuss properties of saturation in monotonic neighbourhood models and study some applications, like a characterization of compact and modally saturated monotonic models and a characterization of the ...
Bisimilarity is not borel
(Cambridge University Press, 2017-10)
We prove that the relation of bisimilarity between countable labelled transition systems (LTS) is Σ1 1-complete (hence not Borel), by reducing the set of non-well orders over the natural numbers continuously to it. This ...
Algebraic semantics of the { → , □ } -fragment of Propositional Lax Logic
(Springer, 2019-11)
In this paper, we will study a particular subvariety of Hilbert algebras with a modal operator □ , called Lax Hilbert algebras. These algebras are the algebraic semantic of the { □ , → } -fragment of a particular intuitionistic ...