Login / Signup

A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic.

Lev D. BeklemishevJoost J. JoostenMarco Vervoort
Published in: J. Log. Comput. (2005)
Keyphrases
  • logic programming
  • finite state
  • multi valued
  • modal logic
  • computational properties
  • multi agent systems
  • markov chain
  • queueing networks
  • classical logic
  • predicate logic
  • neural network
  • relational databases
  • micron cmos