Login / Signup

An analogue of Bull's theorem for Hybrid Logic.

Claudette RobinsonWillem Conradie
Published in: TACL (2013)
Keyphrases
  • intuitionistic logic
  • classical logic
  • modal logic
  • multi valued
  • hybrid learning
  • linear logic
  • logic programming
  • automated reasoning
  • dynamic logic
  • case study
  • data model
  • logical framework
  • digital circuits
  • deontic logic