Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

69

CORR
2004
Springer

81views Education» more CORR 2004»

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

15 years 3 months ago

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

Download www.di.unito.it

Nicola Olivetti, Gian Luca Pozzato, Camilla Schwin

Real-time Traffic

CORR 2004 | Education |

claim paper

Related Content

» Reasoning in Extensional Type Theory with Equality

» An Interpolating Sequent Calculus for QuantifierFree Presburger Arithmetic

» Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic

» Identifying PreConditions with the ZEVES Theorem Prover

» Metareasoning for Multiagent Epistemic Logics

» Psicalculi a framework for mobile processes with nominal data and logic

» Playing Hybrid Games with KeYmaera

» A Decomposition Rule for Decision Procedures by ResolutionBased Calculi

» SequenceIndexed LinearTime Temporal Logic Proof System and Application

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2004
Where	CORR
Authors	Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind

Comments (0)