Login / Signup

Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings.

Nicolas Bedon
Published in: LFCS (2009)
Keyphrases
  • expressive power
  • markov chain
  • logic programming
  • highly expressive
  • modal logic
  • databases
  • information retrieval
  • formal language
  • truth table
  • linear model
  • classical logic
  • deontic logic