2062 search results - page 112 / 413 » Derivatives of Logical Formulas |
111
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
135
Voted
FASE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
110
click to vote
ENTCS
2007
15 years 3 months ago
2007
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
110
click to vote
LOGCOM
2010
15 years 2 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ...
81
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
We address the problem of minimum mean-squared error (MMSE) estimation where the estimator is constrained to belong to a prede ned set of functions. We derive a simple closed form...