Uses of Package
net.sf.tweety.logics.pl.semantics

Packages that use net.sf.tweety.logics.pl.semantics

Package	Description
net.sf.tweety.arg.prob.test.deductive
net.sf.tweety.logics.cl
net.sf.tweety.logics.cl.kappa
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.pcl
net.sf.tweety.logics.pcl.util
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.util

Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.arg.prob.test.deductive

Class and 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.cl

Class and 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.cl.kappa

Class and 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.

Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.cl.semantics

Class and 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

Class and 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 and 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 and Description
FuzzyInterpretation A fuzzy interpretation for propositional logic.
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.

Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.pl.semantics

Class and 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.TruthValue The three truth values.

Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.pl.syntax

Class and 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.util

Class and Description
PossibleWorld This class represents a possible world of propositional logic, i.e.