217 search results - page 3 / 44 » A Logic for Approximate First-Order Reasoning |
TIME
2008
IEEE
14 years 22 days ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
CADE
2003
Springer
14 years 6 months ago
2003
Springer
TIME
2003
IEEE
13 years 11 months ago
2003
IEEE
CSL
2007
Springer
14 years 16 days ago
2007
Springer
CSFW
2003
IEEE
13 years 11 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...