3047 search results - page 161 / 610 » On the Meaning of Logical Completeness |
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
TARK
1998
Springer
15 years 5 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
119
Voted
CSL
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
EUSFLAT
2007
15 years 2 months ago
2007
We investigate interpretations ψ D of formulas ψ in a first order fuzzy logic in models D which are based on Ω-sets, i.e. sets with similarity relations with values in a comp...
88
Voted
AAAI
1998
15 years 2 months ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...