1737 search results - page 32 / 348 » On Interpolation in Existence Logics |
150
click to vote
AINA
2009
IEEE
16 years 27 days ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
170
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
167
click to vote
ICCD
1993
IEEE
15 years 10 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
163
Voted
TARK
2005
Springer
15 years 11 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
159
click to vote
JSAC
2007
15 years 6 months ago
2007
— We introduce a new version of the widely studied survivable mapping problem in IP-over-WDM networks. The new problem allows augmenting the given logical topology and is describ...