Sciweavers

16 search results - page 1 / 4

» jancl 2008

14

JANCL
2008

60views more JANCL 2008»

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

13 years 5 months ago

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

Download www.math.ist.utl.pt

J. Marcos

claim paper

Read More »

11

JANCL
2007

53views more JANCL 2007»

A model for updates in a multi-agent setting

13 years 4 months ago

A model for updates in a multi-agent setting

Download www.irit.fr

John Cantwell

claim paper

Read More »

12

JANCL
2007

66views more JANCL 2007»

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

13 years 4 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 »

12

JANCL
2008

42views more JANCL 2008»

Second-order logic on equivalence relations

13 years 5 months ago

Second-order logic on equivalence relations

Download www.fmi.uni-sofia.bg

G. Georgiev, Tinko Tinchev

claim paper

Read More »

18

JANCL
2007

107views more JANCL 2007»

Distributed knowledge

13 years 4 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 »