3515 search results - page 37 / 703 » On the semantics of Strategy Logic |
167
click to vote
EPIA
2005
Springer
16 years 12 days ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
178
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
131
click to vote
STACS
2007
Springer
16 years 1 months ago
2007
Springer
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of
144
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...
167
click to vote
CLIMA
2007
15 years 8 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...