588 search results - page 53 / 118 » Differential Logic for Reasoning About Hybrid Systems |
113
click to vote
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
125
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
124
click to vote
CISIS
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
101
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
126
click to vote
IGPL
2010
15 years 13 days ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...