264 search results - page 22 / 53 » Expressing Iterative Properties Logically in a Symbolic Sett... |
JSYML
2008
14 years 11 months ago
2008
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
111
click to vote
AAAI
2004
15 years 19 days ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
IFIPTCS
2010
14 years 9 months ago
2010
We introduce a simple logic that allows to quantify over the subobjects of a categorical object. We subsequently show that, for the category of graphs, this logic is equally expres...
SAS
1999
Springer
15 years 3 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
LICS
2010
IEEE
14 years 9 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...