Login / Signup

Finite Kripke Models and Predicate Logics of Provability.

Sergei N. ArtëmovGiorgie Dzhaparidze
Published in: J. Symb. Log. (1990)
Keyphrases
  • kripke models
  • modal logic
  • classical logic
  • temporal logic
  • decision procedures
  • action theories
  • multi agent
  • first order logic
  • inference rules
  • expressive power
  • valued logic
  • finite number