571 search results - page 50 / 115 » Domain Theory in Logical Form |
APAL
2010
14 years 10 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
ICDCS
2002
IEEE
15 years 2 months ago
2002
IEEE
We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distribute...
OWLED
2007
14 years 11 months ago
2007
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
114
click to vote
FUZZY
2004
Springer
15 years 3 months ago
2004
Springer
The revealed preference is a central subject in classical consumer theory. Authors like Samuelson, Arrow, Richter, Sen, Uzawa and others have proposed an axiomatic setting of reve...