2573 search results - page 138 / 515 » Combinations of Modal Logics |
120
click to vote
TABLEAUX
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...
126
click to vote
LPNMR
1995
Springer
15 years 8 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
148
click to vote
ARGMAS
2005
Springer
15 years 6 months ago
2005
Springer
of Abstract Argumentation Guido Boella1 , Joris Hulstijn2 , and Leendert van der Torre3 1 Universit´a di Torino 2 Vrije Universiteit, Amsterdam 3 CWI Amsterdam and Delft Universit...
108
click to vote
ENTCS
2007
15 years 4 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
141
click to vote
DLOG
2010
15 years 2 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...