Reference Manual

This page contains the reference manual of the LWB.

Each chapter of the reference manual is available as a compressed Postscript file. If you want to know what the reference manual contains get the contents and the introduction.

Most of the information that is contained in the reference manual is also included in the LWB WWW pages.

contents introduction sample session basic syntax programming language user module user classical propositional logic cpc intuitionistic propositional logic ipc modal propositional logic k modal propositional logic kt modal propositional logic s4 modal propositional logic s5 provability logic g multimodal propositional logic kn multimodal propositional logic ktn multimodal propositional logic s4n propositional linear temporal logic pltl tense propositional logic tk linear propositional logic ll autoepistemic logic ael circumscription circ closed world assumption cwa default logic default

		There also exist a compressed Postscript file and a compressed dvi file of the whole documentation:
		reference manual (Postscript)
		reference manual (DVI)

lwb@iam.unibe.ch

LWB 1.1 February 22, 2002