Results 21 to 30 of about 210 (36)
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
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
Dual characterizations for finite lattices via correspondence theory for monotone modal logic
, 2016 International audienceWe establish a formal connection between algorithmic correspondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a hierarchy of pseudovarieties of finite lattices ...
Frittella, Sabine +2 more
core +2 more sources
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
Life prediction and constitutive models for engine hot section anisotropic materials program [PDF]
This report presents a summary of results from a 7 year program designed to develop generic constitutive and life prediction approaches and models for nickel-based single crystal gas turbine airfoils.
Meyer, T. G. +2 more
core +1 more source
Logics for stable and unstable mereological relations
Open Mathematics, 2011 Nenchev Vladislav
doaj +1 more source
Review of Areces, C.; Figueira, D.; Figueira, S.; Mera, S. "The Expressive Power of Memory Logics" [PDF]
, 2012 Robering, Klaus
core +4 more sources