Sciweavers

886 search results - page 51 / 178

» Modal logic and invariance

25

LPAR
2007
Springer

131views Automated Reasoning» more LPAR 2007»

Completeness for Flat Modal Fixpoint Logics

14 years 4 months ago

Completeness for Flat Modal Fixpoint Logics

Download staff.science.uva.nl

Luigi Santocanale, Yde Venema

claim paper

Read More »

22

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

14 years 3 months ago

Reasoning about relational granulation in modal logics

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

21

BIRTHDAY
2005
Springer

115views Applied Computing» more BIRTHDAY 2005»

Modal Logics for Metric Spaces: Open Problems

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

20

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

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

25

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

14 years 2 months ago

Anytime, Anywhere: Modal Logics for Mobile Ambients

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

« Prev « First page 51 / 178 Last » Next »