Search Sciweavers | Sciweavers

825 search results - page 54 / 165

» Modal Logics with Counting

click to vote

OGAI
1993

229views Artificial Intelligence» more OGAI 1993»

A Comparative Fuzzy Modal Logic

13 years 12 months ago

Download mech.math.msu.su

Petr Hájek, Dagmar Harmancová

claim paper

Read More »

click to vote

LFCS
1992
Springer

95views Artificial Intelligence» more LFCS 1992»

Graded Modalities in Epistemic Logic

13 years 12 months ago

Download www.cs.man.ac.uk

Wiebe van der Hoek, John-Jules Ch. Meyer

claim paper

Read More »

click to vote

CMSB
2006
Springer

105views Applied Computing» more CMSB 2006»

Modal Logics for Brane Calculus

13 years 11 months ago

Download users.dimi.uniud.it

Marino Miculan, Giorgio Bacci

claim paper

Read More »

click to vote

DALT
2006
Springer

73views Intelligent Agents» more DALT 2006»

A Fibred Tableau Calculus for Modal Logics of Agents

13 years 11 months ago

Download espace.uq.edu.au

Vineet Padmanabhan, Guido Governatori

claim paper

Read More »

click to vote

BANFF
1995

122views Distributed And Parallel Com...» more BANFF 1995»

Modal and Temporal Logics for Processes

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers