agent\_logic.core.quantifiers
=============================

.. automodule:: agent_logic.core.quantifiers

   
   .. rubric:: Classes

   .. autosummary::
   
      ExistentialQuantifier
      Exists
      ForAll
      UniversalQuantifier