Sciweavers

825 search results - page 53 / 165

» Modal Logics with Counting

104

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

15 years 8 months ago

Reasoning about relational granulation in modal logics

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

81

BIRTHDAY
2005
Springer

115views Applied Computing» more BIRTHDAY 2005»

Modal Logics for Metric Spaces: Open Problems

15 years 8 months ago

Modal Logics for Metric Spaces: Open Problems

Download www.dcs.bbk.ac.uk

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

claim paper

Read More »

87

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 7 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 »

94

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

15 years 7 months ago

Anytime, Anywhere: Modal Logics for Mobile Ambients

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

100

TARK
1998
Springer

96views Automated Reasoning» more TARK 1998»

The Modal Logic of Probability

15 years 7 months ago

The Modal Logic of Probability

Download www.tark.org

Aviad Heifeitz, Philippe Mongin

claim paper

Read More »

« Prev « First page 53 / 165 Last » Next »