6355 search results - page 136 / 1271 » From Logic to Games |
169
click to vote
AIML
2008
15 years 8 months ago
2008
There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study th...
188
click to vote
IJAR
2008
15 years 6 months ago
2008
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
136
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
A transitive distributed knowledge logic is considered. The considered logic S4nD is obtained from multi-modal logic S4n by adding transitive distributed knowledge operator. For a ...
268
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...