Results 21 to 30 of about 261 (63)

Canonical varieties with no canonical axiomatisation

, 2005
Accepted ...
Hodkinson, I, Venema, Y
core   +5 more sources

Almost structural completeness; an algebraic approach [PDF]

, 2014
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can
M. Stronkowski, Michał, Wojciech Dzik
core  

A Note on the Coalgebraic Interpretation of Game Logic [PDF]

, 2010
We propose a coalgebraic interpretation of game logic, making the results of coalgebraic logic available for this context. We study some properties of a coalgebraic interpretation, showing among others that Aczel's Theorem on the characterization of ...
Doberkat, Ernst-Erich
core   +1 more source

Sistemas multi–modales de profundidad restringida

Ingeniería y Ciencia, 2008
Se presentan como extensiones del cálculo proposicional clásico, la jerarquíade sistemas deductivos SMM–n con n > 1. SMM–n es el sistema multi–modalde profundidad–n. El sistema SMM–1 es el cálculo proposicional clásico.
Manuel Sierra A.
doaj  

Lógica básica con afirmación alterna

Ingeniería y Ciencia, 2005
El lenguaje del sistema extiende el lenguaje de la lógica clásica al incluir un operador para la noción de afirmación alterna (en contraste con la afirmación clásica o afirmación usual), y también operadores de incompatibilidad y determinabilidad entre ...
Manuel Sierra A.
doaj  

Discriminator varieties of Boolean algebras with residuated operators

, 1993
The theory of discriminator algebras and varieties has been investigated extensively, and provides us with a wealth of information and techniques applicable to specific examples of such algebras and varieties.
P. Jipsen
semanticscholar   +1 more source

Hybrid Automata and Bisimulations [PDF]

, 2010
This paper surveys hybrid automata and bisimulation relations. We formally introduce both notions and briefly present the model checking problem over hybrid automata.
Casagrande, Alberto
core   +1 more source

Algunas lógicas modales asociadas al razonamiento de agentes inteligentes

Ingeniería y Ciencia, 2008
Se presentan las jerarquías de sistemas SCR–nT4, SCR–nT5 y SCR–nD45 con n > 3, en las cuales se formaliza la noción de creencia en el sentido de creencia justificada, de conocimiento y de convicción respectivamente, dando como resultado sistemas de ...
Gloria Rúa M., Manuel Sierra A.
doaj  

Lógicas epistémica y doxástica con restricciones

Ingeniería y Ciencia, 2010
Se presentan como extensiones del cálculo proposicional clásico las jerarquías de sistemas deductivos LER–n y LDR–n, con n ≥ 1. LER–n es la Lógica epistémica con restricciones de profundidad–n, LDR–n es la Lógica doxástica con restricciones de ...
Manuel Sierra A.
doaj  

The Modal Logics of Kripke-Feferman Truth [PDF]

We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness ...
Nicolai, Carlo, Stern, Johannes
core