1814 search results - page 84 / 363 » Extended First-Order Logic |
118
click to vote
WOLLIC
2009
Springer
15 years 9 months ago
2009
Springer
A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call...
109
click to vote
CSL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
101
click to vote
ISMVL
2003
IEEE
15 years 8 months ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...
124
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...