Uses of Package
net.sf.tweety.logics.pl.semantics
-
-
Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.cl.semantics Class Description NicePossibleWorld Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.PossibleWorld This class represents a possible world of propositional logic, i.e. -
Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.pcl.reasoner Class Description PossibleWorld This class represents a possible world of propositional logic, i.e. -
Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.pcl.util Class Description PossibleWorld This class represents a possible world of propositional logic, i.e. -
Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.pl.analysis Class Description FuzzyInterpretation A fuzzy interpretation for propositional logic.PossibleWorld This class represents a possible world of propositional logic, i.e. -
Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.pl.semantics Class Description NicePossibleWorld Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.PossibleWorld This class represents a possible world of propositional logic, i.e.PriestWorld A three-valued interpretation for propositional logic from Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.PriestWorld.TruthValue The three truth values. -
Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.pl.syntax Class Description PossibleWorld This class represents a possible world of propositional logic, i.e. -
Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.qbf.semantics Class Description PossibleWorld This class represents a possible world of propositional logic, i.e. -
Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.qbf.syntax Class Description PossibleWorld This class represents a possible world of propositional logic, i.e.