Agent Dynamic Logic package

Input stream format

The stream should contain a sequence of ADL formulae separated by white space characters. These characters include space, tab, new line, and some other characters. End of the stream is indicated by the EOF character.
Full grammar which the parser accepts is represented in EBNF grammar files for the lexer and the parser. The following is a (very) simplified BNF of the language.
formula := identifier or
~ formula or
( formula & formula ) or
( formula | formula ) or
( formula -> formula ) or
[ action ]_ agent formula or
< action >_ agent formula or
K_ agent formula or
W_ agent formula or
Comm_agent action or
A_agent action
action := identifier or
( action + action ) or
( action ; action ) or
action * or
?( formula ) or
c action or
u action
agent := identifier
identifier := a sequence of (English) alphabet characters followed by any sequence of number and alphabet characters.
Valid XHTML 1.0! Valid CSS! There were 332145 visits of this page since Wed, 03 May 2006 20:57:56 BST.
Last modified: Sat, 17 Mar 2007 18:58:33 GMT.
Copyright ©2006 Dmitry Tishkovsky, School of Computer Science, The University of Manchester