Sciweavers

16 search results - page 1 / 4

» jancl 2008

98

JANCL
2008

60views more JANCL 2008»

Possible-translations semantics for some weak classically-based paraconsistent logics

15 years 1 months ago

Possible-translations semantics for some weak classically-based paraconsistent logics

Download www.math.ist.utl.pt

J. Marcos

claim paper

Read More »

98

Voted

JANCL
2007

53views more JANCL 2007»

A model for updates in a multi-agent setting

15 years 1 months ago

A model for updates in a multi-agent setting

Download www.irit.fr

John Cantwell

claim paper

Read More »

86

Voted

JANCL
2007

66views more JANCL 2007»

Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI

15 years 1 months ago

Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI

Download www.ifispan.waw.pl

Joanna Golinska-Pilarek

claim paper

Read More »

83

JANCL
2008

42views more JANCL 2008»

Second-order logic on equivalence relations

15 years 1 months ago

Second-order logic on equivalence relations

Download www.fmi.uni-sofia.bg

G. Georgiev, Tinko Tinchev

claim paper

Read More »

111

Voted

JANCL
2007

107views more JANCL 2007»

Distributed knowledge

15 years 1 months ago

Distributed knowledge

Download staff.science.uva.nl

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

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »