3028 search results - page 134 / 606 » Integrating Temporal Logics |
116
click to vote
COLING
1994
15 years 5 months ago
1994
This paper introduces a semantic theory I)I,PW, l)ynamic l,ogic with Possible World, which extends Groenendijk's I)PI, and Cresswell's Indices Semantics. The semantics c...
117
Voted
IGPL
2008
15 years 4 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
104
click to vote
DEXA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...
141
Voted
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
The realization of fast datapaths in signal processing environments requires fastest, power efficient logic styles with synchronous behavior. This paper presents a method to combi...
172
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...