504 search results - page 16 / 101 » Observational Logic |
104
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
106
click to vote
MLQ
2008
15 years 1 months ago
2008
We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.
111
click to vote
ENTCS
2006
15 years 1 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
86
Voted
ICCD
2007
IEEE
15 years 10 months ago
2007
IEEE
Fin-type field-effect transistors (FinFETs) are promising substitutes for bulk CMOS in nano-scale circuits. In this paper, it is observed that in spite of improved device charact...
133
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...