CSL 1997 | Sciweavers

41

CSL
1997
Springer

100views Automated Reasoning» more CSL 1997»

14 years 4 months ago

We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...

Marco Hollenberg

claim paper

Read More »

43

click to vote

CSL
1997
Springer

131views Automated Reasoning» more CSL 1997»

From Action Calculi to Linear Logic

14 years 4 months ago

Download homepages.inf.ed.ac.uk

Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...

Andrew Barber, Philippa Gardner, Masahito Hasegawa...

claim paper

Read More »

31

click to vote

CSL
1997
Springer

88views Automated Reasoning» more CSL 1997»

Resolution and the Weak Pigeonhole Principle

14 years 4 months ago

Download euclid.ucsd.edu

Samuel R. Buss, Toniann Pitassi

claim paper