Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried  Home/Search
Context Related
| iam.unibe.ch/~lwb/pub...lwb_paper.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iamwww.unibe.ch/~s...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The purpose of the paper is to present the Logics Workbench, an interactive system aiming to facilitate the access to logical formalisms for nonspecialists as well as specialists. It is an integrated system which provides a library of the most important propositional calculi and many algorithms in this area. Special emphasis is put on a clear design of the human interface and a powerful information system, which covers online help and documentation. (Update)
Context of citations to this paper: More
...2C (i 1) otherwise E as in 6.17. 9 Benchmark results for the LWB Prover: We used the Logics Workbench (LWB) version 1.0. See [5] or the LWB home page http: lwbwww.unibe.ch:8080 LWBinfo.html for more information. For all the logics the LWB uses backward proof search...
.... 39 8 Implementation Decision procedures for K, K T , KT, KT T , S4, and S4 T are implemented in the Logics Workbench LWB ([7]) These decision procedures were intensively used in [5] to prove the equivalence of propositional normal modal logics. It is possible to use these...
Cited by: More
An Analysis of Empirical Testing for Modal Decision.. - Horrocks.. (2000) (Correct)
Formalizing Communication in Groups - van Ditmarsch (2000) (Correct)
Deciding Intuitionistic Propositional Logic via Translation.. - Korn, Kreitz (1996) (Correct)
Similar documents (at the sentence level):
29.9%: . .
14.9%: Aspects of Computational Logic - Schwendimann (1998) (Correct)
Active bibliography (related documents): More All
0.9: Efficient Loop-Check for Backward Proof Search in.. - Heuerding, Seyfried, .. (1996) (Correct)
0.3: The Mosaic Method for Temporal Logics - Maarten Marx Szabolcs (Correct)
0.1: Deterministic Resource Management for the Linear Logic.. - Winikoff, Harland (1994) (Correct)
Similar documents based on text: More All
0.2: A Benchmark Method for the Propositional Modal Logics K, KT, .. - Heuerding, Schwendimann (1996) (Correct)
0.2: On the modal logic K plus theories - Heuerding, Schwendimann (1996) (Correct)
0.1: Relations Between Propositional Normal Modal Logics: An.. - Goré, Heinle, Heuerding (1997) (Correct)
Related documents from co-citation: More All
6: Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
5: A guide to completeness and complexity for modal logics of knowledge and belief (context) - Halpern, Moses - 1992
4: Tableaux: A general theorem prover for modal logics (context) - Catach - 1991
BibTeX entry: (Update)
A. Heuerding, G. Jager, S. Schwendimann, and S. Seyfried. Propositional logics on the computer. In P. Baumgartner, R. Hahnle, and J. Posegga, editors, Theorem Proving with Analytic Tableaux and Related Methods. TABLEAUX 95, LNCS 918, pages 310--323, 1995. http://citeseer.ist.psu.edu/heuerding95propositional.html More
@inproceedings{ heuerding95propositional,
author = "Alain Heuerding and Gerhard Jager and Stefan Schwendimann and Michael Seyfried",
title = "Propositional Logics on the Computer",
booktitle = "Analytic Tableaux and Related Methods",
pages = "310--323",
year = "1995",
url = "citeseer.ist.psu.edu/heuerding95propositional.html" }
Citations (may not include all citations):242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
130 The computational complexity of provability in systems of mo.. (context) - Ladner - 1977
62 First-order modal tableaux (context) - Fitting - 1988
60 Contraction-free sequent calculi for intuitionistic logic (context) - Dyckhoff - 1992
47 Introduction to Combinators and Lambda Calculus (context) - Hindley, Seldin - 1986
31 Temporal Logic (context) - Rescher, Urquhart - 1971
30 space decision procedure for intuitionistic propositional lo.. (context) - Hudelmaier, log - 1993
20 Logic programming with focusing proofs in linear logic (context) - Andreoli - 1992
19 Proof search strategies in linear logic (context) - Tammet - 1993
17 An intuitionistic predicate logic theorem prover (context) - Sahlin, Franz'en et al. - 1992
3 A directed tree calculus for minimal tense logic (context) - Zimmermann - 1994
2 fragment of intuitionistic logic (context) - Seyfried, calculus et al. - 1994
1 and modal logic (context) - Boolos, truth - 1980
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://iamwww.unibe.ch/~schwendi/publications.html):
A New One-Pass Tableau Calculus for PLTL - Schwendimann (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC