1814 search results - page 99 / 363 » Extended First-Order Logic |
118
click to vote
TLCA
2001
Springer
15 years 7 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 ...
109
click to vote
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
138
Voted
EUSFLAT
2007
15 years 4 months ago
2007
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...
128
click to vote
IJCAI
2001
15 years 4 months ago
2001
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...
129
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...