Sciweavers

3773 search results - page 134 / 755

» Logical Reasoning

109

Voted

TARK
2009
Springer

208views Automated Reasoning» more TARK 2009»

Evidence elimination in multi-agent justification logic

15 years 10 months ago

Evidence elimination in multi-agent justification logic

Download bryan.renne.org

Bryan Renne

claim paper

Read More »

90

Voted

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

15 years 9 months ago

Two-way unary temporal logic over trees

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

claim paper

Read More »

78

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

15 years 9 months ago

Bialgebraic Operational Semantics and Modal Logic

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

114

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

15 years 9 months ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

84

Voted

CSL
2007
Springer

75views Automated Reasoning» more CSL 2007»

Satisfiability of a Spatial Logic with Tree Variables

15 years 9 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 134 / 755 Last » Next »