Results 21 to 30 of about 231 (54)
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
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
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
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
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
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