290 search results - page 1 / 58 » Logical Properties of Name Restriction |
TLCA
2001
Springer
13 years 9 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...
TACS
2001
Springer
13 years 9 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
AML
2010
13 years 5 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...