Sciweavers

825 search results - page 53 / 165

» Modal Logics with Counting

16

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

14 years 1 months ago

Reasoning about relational granulation in modal logics

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

19

BIRTHDAY
2005
Springer

115views Applied Computing» more BIRTHDAY 2005»

Modal Logics for Metric Spaces: Open Problems

14 years 1 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 »

18

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

14 years 22 days 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 »

19

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

14 years 5 days ago

Anytime, Anywhere: Modal Logics for Mobile Ambients

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

27

TARK
1998
Springer

96views Automated Reasoning» more TARK 1998»

The Modal Logic of Probability

14 years 18 hour 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 »