Sciweavers

886 search results - page 52 / 178

» Modal logic and invariance

31

TARK
1998
Springer

96views Automated Reasoning» more TARK 1998»

The Modal Logic of Probability

14 years 2 months ago

The Modal Logic of Probability

Download www.tark.org

Aviad Heifeitz, Philippe Mongin

claim paper

Read More »

59

OGAI
1993

229views Artificial Intelligence» more OGAI 1993»

A Comparative Fuzzy Modal Logic

14 years 2 months ago

A Comparative Fuzzy Modal Logic

Download mech.math.msu.su

Petr Hájek, Dagmar Harmancová

claim paper

Read More »

25

LFCS
1992
Springer

95views Artificial Intelligence» more LFCS 1992»

Graded Modalities in Epistemic Logic

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

26

CMSB
2006
Springer

105views Applied Computing» more CMSB 2006»

Modal Logics for Brane Calculus

14 years 1 months ago

Modal Logics for Brane Calculus

Download users.dimi.uniud.it

Marino Miculan, Giorgio Bacci

claim paper

Read More »

22

DALT
2006
Springer

73views Intelligent Agents» more DALT 2006»

A Fibred Tableau Calculus for Modal Logics of Agents

14 years 1 months ago

A Fibred Tableau Calculus for Modal Logics of Agents

Download espace.uq.edu.au

Vineet Padmanabhan, Guido Governatori

claim paper

Read More »

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