1486 search results - page 103 / 298 » A Logically Saturated Extension of |
134
click to vote
TPHOL
2007
IEEE
16 years 3 days ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
168
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
169
click to vote
AIML
2004
15 years 7 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...
153
click to vote
ENTCS
2007
15 years 5 months ago
2007
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
146
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...