Sciweavers

16 search results - page 1 / 4
» jancl 2008
Sort
View
81
Voted
JANCL
2007
53views more  JANCL 2007»
14 years 10 months ago
A model for updates in a multi-agent setting
John Cantwell
73
Voted
JANCL
2007
66views more  JANCL 2007»
14 years 10 months ago
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
Joanna Golinska-Pilarek
JANCL
2008
42views more  JANCL 2008»
14 years 10 months ago
Second-order logic on equivalence relations
G. Georgiev, Tinko Tinchev
91
Voted
JANCL
2007
107views more  JANCL 2007»
14 years 10 months ago
Distributed knowledge
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
Floris Roelofsen