17054 search results - page 185 / 3411 » Logics of Dynamical Systems |
137
Voted
LOGCOM
2000
15 years 6 months ago
2000
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...
216
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
213
click to vote
ISMVL
1993
IEEE
15 years 11 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
209
click to vote
TCS
2008
15 years 7 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
175
Voted
AAAI
2008
15 years 9 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...