Search Sciweavers | Sciweavers

797 search results - page 61 / 160

» Logics with an existential modality

Voted

CMSB
2006
Springer

105views Applied Computing» more CMSB 2006»

Modal Logics for Brane Calculus

15 years 4 months ago

Download users.dimi.uniud.it

Marino Miculan, Giorgio Bacci

claim paper

Read More »

Voted

DALT
2006
Springer

73views Intelligent Agents» more DALT 2006»

A Fibred Tableau Calculus for Modal Logics of Agents

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

15 years 4 months ago

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

Voted

CSL
1995
Springer

93views Automated Reasoning» more CSL 1995»

On the Modal Logic K Plus Theories

15 years 4 months ago

Download reference.kfupm.edu.sa

Alain Heuerding, Stefan Schwendimann

claim paper

Read More »

Voted

EPIA
1995
Springer

94views Artificial Intelligence» more EPIA 1995»

A Preference Semantics for Ground Nonmonotonic Modal Logics

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers