######
Logics
######

Bivalent
========

.. toctree::
    :maxdepth: 1

    logics/cpl
    logics/cfol

Bivalent Modal
==============

.. toctree::
    :maxdepth: 1

    logics/k
    logics/d
    logics/t
    logics/s4
    logics/s5

Many-valued
===========

.. toctree::
    :maxdepth: 1

    logics/fde
    logics/k3
    logics/lp
    logics/l3
    logics/rm3
    logics/k3w
    logics/k3wq
    logics/b3e
    logics/g3
    logics/mh
    logics/nh
    logics/go
    logics/p3

Many-valued Modal
=================

.. toctree::
    :maxdepth: 1

    logics/kfde
    logics/tfde
    logics/s4fde
    logics/s5fde
    logics/kk3
    logics/tk3
    logics/s4k3
    logics/s5k3
    logics/klp
    logics/tlp
    logics/s4lp
    logics/s5lp
    logics/kl3
    logics/tl3
    logics/s4l3
    logics/s5l3
    logics/krm3
    logics/trm3
    logics/s4rm3
    logics/s5rm3
    logics/kk3w
    logics/tk3w
    logics/s4k3w
    logics/s5k3w
    logics/kb3e
    logics/tb3e
    logics/s4b3e
    logics/s5b3e
    logics/kg3
    logics/tg3
    logics/s4g3
    logics/s5g3
    logics/s4go