Login / Signup

Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction.

Karoliina LehtinenSandra Quickert
Published in: CSL (2015)
Keyphrases
  • lower level
  • modal logic
  • upper level
  • higher level
  • high levels
  • construction process
  • levels of abstraction
  • neural network
  • tree structure
  • development environment
  • nonmonotonic logics
  • making decisions
  • lower levels