Package net.sf.tweety.logics.pl.lang

Class Summary

Class	Description
PropositionalLanguage	This class models a propositional language for a given signature.