CondLean 3.0: Improving CondLean for Stronger Conditional Logics | SpringerLink
Skip to main content
Springer Nature Link
Log in

CondLean 3.0: Improving CondLean for Stronger Conditional Logics

  • Conference paper
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3702))

Abstract

In this paper we present CondLean 3.0, a theorem prover for propositional conditional logics CK, CK+ID, CK+MP, CK+CS, CK+CEM and some of their combinations. CondLean 3.0 implements sequent calculi for these logics. CondLean 3.0 improves CondLean and is developed following the methodology of leanTAP. It is implemented in SICStus Prolog and also comprises a graphical user interface implemented in JAVA. CondLean 3.0 can be downloaded at www.di.unito.it/~pozzato/condlean3/

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Olivetti, N., Schwind, C.B.: A calculus and complexity bound for minimal conditional logic. In: Restivo, A., Ronchi Della Rocca, S., Roversi, L. (eds.) ICTCS 2001. LNCS, vol. 2202, pp. 384–404. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  2. Olivetti, N., Pozzato, G.L., Schwind, C.B.: A sequent calculus and a theorem prover for standard conditional logics: Extended version. Technical Report 87/05, Dip. di Informatica, Università degli Studi di Torino (2005), available at http://www.di.unito.it/~pozzato/condlean3

  3. Olivetti, N., Pozzato, G.L.: Condlean: A theorem prover for conditional logics. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003. LNCS (LNAI), vol. 2796, pp. 264–270. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Beckert, B., Gorè, R.: Free variable tableaux for propositional modal logics. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS, vol. 1227, pp. 91–106. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  5. Nute, D.: Topics in conditional logic. Reidel, Dordrechtz (1980)

    MATH  Google Scholar 

  6. Beckert, B., Posegga, J.: leantap: Lean tableau-based deduction. Journal of Automated Reasoning 15(3), 339–358 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  7. Fitting, M.: leantap revisited. J. of Logic and Computation 8(1), 33–47 (1998)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Torino, Corso Svizzera 185, 10149, Torino, Italy

    Nicola Olivetti & Gian Luca Pozzato

Authors
  1. Nicola Olivetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gian Luca Pozzato
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Koblenz-Landau,  

    Bernhard Beckert

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Olivetti, N., Pozzato, G.L. (2005). CondLean 3.0: Improving CondLean for Stronger Conditional Logics. In: Beckert, B. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2005. Lecture Notes in Computer Science(), vol 3702. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11554554_27

Download citation

  • DOI: https://doi.org/10.1007/11554554_27

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28931-9

  • Online ISBN: 978-3-540-31822-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation