Agent Dynamic Logic package


java adl.Tool [options]

-i input_file Specifies an input file for processing. If this option is omitted then ADL formulae will be read from the standard input (stdin).
-o output_file Specifies an output file for translated formulae. If this option is omitted then (C)PDL formulae will be printed to the standard output (stdout).
-ne Suppresses the encoding of CPDL formulae in PDL, i.e. translator will not attempt to eliminate the converse from the resulting formulae.
-dlp Sets output format to the format accepted by DLP. If this option is omitted then the format of the PDL-tableau prover is assumed for output.
Valid XHTML 1.0! Valid CSS! There were 88912 visits of this page since Wed, 03 May 2006 20:57:56 UTC.
Last modified: Sat, 17 Mar 2007 18:58:33 UTC.
Copyright ©2006 Dmitry Tishkovsky, School of Computer Science, The University of Manchester