Buscar
Mostrando ítems 61-70 de 782
Hilbert algebras with a necessity modal operator
(Jagiellonian University, 2014-10)
We introduce the variety of Hilbert algebras with a modal operator , called H -algebras. The variety of H -algebras is the algebraic counterpart of the f!; g-fragment of the intuitionitic modal logic IntK . We will study ...
Teoría de prueba con etiquetas para lógicas modales intuicionistas
(2019-03-28)
Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas ...
POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES
(Cambridge Univ PressNew YorkEUA, 2011)
An alternative approach for quasi-truth
(Oxford University Press, 2014)
The expressive power of memory logics
(Cambridge University Press, 2011-06)
We investigate the expressive power of memory logics. These are modal logics extended with the possibility to store (or remove) the current node of evaluation in (or from) a memory, and to perform membership tests on the ...