1814 search results - page 68 / 363 » Extended First-Order Logic |
133
click to vote
EPIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
128
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
97
Voted
AAAI
2004
15 years 2 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...
JOLLI
2008
15 years 24 days ago
2008
In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive log...
100
Voted
APAL
1999
15 years 15 days ago
1999
The present paper investigates the groups of automorphisms for some lattices of modal logics. The main results are the following. The lattice of normal extensions of S4.3, NExt S4....