Buscar
Mostrando ítems 21-30 de 652
Uma logica modal temporal
([s.n.], 1994)
Lógicas modales con memoria
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2009)
Relation-changing modal logics
(2014)
En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ...
Logic TK: algebric notions from Tarski's consequence operator
(2010)
Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence ...
Lógica de las tautologías.
(Fondo Editorial Universidad EAFIT, 2012-01-01)
Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías.