Sciweavers

3970 search results - page 150 / 794

» A Logic For Causal Reasoning

22

TARK
2009
Springer

208views Automated Reasoning» more TARK 2009»

Evidence elimination in multi-agent justification logic

14 years 2 months ago

Evidence elimination in multi-agent justification logic

Download bryan.renne.org

Bryan Renne

claim paper

Read More »

20

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

14 years 2 months ago

Two-way unary temporal logic over trees

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

claim paper

Read More »

12

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

14 years 2 months ago

Bialgebraic Operational Semantics and Modal Logic

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

25

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

14 years 2 months ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

17

CSL
2007
Springer

75views Automated Reasoning» more CSL 2007»

Satisfiability of a Spatial Logic with Tree Variables

14 years 2 months ago

Satisfiability of a Spatial Logic with Tree Variables

Download www.ulb.ac.be

Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison

claim paper

Read More »

« Prev « First page 150 / 794 Last » Next »