3047 search results - page 80 / 610 » On the Meaning of Logical Completeness |
154
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
174
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need not preserve exponential types. But, like logical relatio...
145
click to vote
CLIMA
2007
15 years 7 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
185
click to vote
FMOODS
2003
15 years 7 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
147
click to vote
APAL
2006
15 years 6 months ago
2006
In this paper an alternative Skolemization method is introduced that for a large class of formulas is sound and complete with respect to intuitionistic logic. This class extends t...