8228 search results - page 129 / 1646 » Structural Logical Relations |
119
click to vote
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
119
click to vote
JAIR
2008
15 years 2 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
139
click to vote
TABLEAUX
2000
Springer
15 years 6 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
160
click to vote
AC
1992
Springer
15 years 6 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
125
click to vote
COMMA
2010
14 years 9 months ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...