Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic.
Miguel CouceiroLauri HellaJari KiveläPublished in: Log. J. IGPL (2008)
Keyphrases
- boolean functions
- modal logic
- temporal logic
- uniform distribution
- inference rules
- situation calculus
- prime implicants
- classical logic
- prime implicates
- threshold functions
- first order logic
- nonmonotonic logics
- propositional logic
- conditional logic
- dynamic logic
- multi valued
- epistemic logic
- disjunctive normal form
- dnf formulae
- modal operators
- binary decision diagrams
- membership queries
- polynomial size
- term dnf
- fixed point
- functional properties
- dnf formulas