Sciweavers

2573 search results - page 60 / 515

» Combinations of Modal Logics

97

Voted

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 8 months ago

Indexed Flows in Temporal x Modal Logic with Functional Semantics

Download www.matap.uma.es

Alfredo Burrieza, Inman P. de Guzmán, Emili...

claim paper

Read More »

103

Voted

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

15 years 8 months ago

Anytime, Anywhere: Modal Logics for Mobile Ambients

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

106

Voted

TARK
1998
Springer

96views Automated Reasoning» more TARK 1998»

The Modal Logic of Probability

15 years 8 months ago

The Modal Logic of Probability

Download www.tark.org

Aviad Heifeitz, Philippe Mongin

claim paper

Read More »

186

Voted

OGAI
1993

229views Artificial Intelligence» more OGAI 1993»

A Comparative Fuzzy Modal Logic

15 years 8 months ago

A Comparative Fuzzy Modal Logic

Download mech.math.msu.su

Petr Hájek, Dagmar Harmancová

claim paper

Read More »

106

Voted

LFCS
1992
Springer

95views Artificial Intelligence» more LFCS 1992»

Graded Modalities in Epistemic Logic

15 years 8 months ago

Graded Modalities in Epistemic Logic

Download www.cs.man.ac.uk

Wiebe van der Hoek, John-Jules Ch. Meyer

claim paper

Read More »

« Prev « First page 60 / 515 Last » Next »