2062 search results - page 92 / 413 » Derivatives of Logical Formulas |
142
click to vote
CSL
1999
Springer
15 years 9 months ago
1999
Springer
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if ...
143
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
In this paper we summarize results on perfect MV-algebras and we show that the class of first order Lukasiewicz formulas valid in all interpretations over perfect MV-chains is ax...
141
click to vote
DCC
2008
IEEE
16 years 5 months ago
2008
IEEE
Source coding theorems and Shannon rate-distortion functions were studied for the discrete-time Wiener process by Berger and generalized to nonstationary Gaussian autoregressive p...
166
click to vote
DEON
2010
Springer
15 years 7 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
137
click to vote
KBSE
2008
IEEE
15 years 12 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...