3047 search results - page 137 / 610 » On the Meaning of Logical Completeness |
103
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...
98
Voted
AMAI
2005
Springer
15 years 20 days ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
112
Voted
ASE
2004
15 years 18 days ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
CSL
2002
Springer
15 years 17 days ago
2002
Springer
This paper presents sound and complete Hoare logics for partial and total correctness of recursive parameterless procedures in the context of unbounded nondeterminism. For total co...
139
click to vote
RWEB
2010
Springer
14 years 11 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...