Login / Signup

Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics.

Serenella CerritoMarta Cialdea Mayer
Published in: TABLEAUX (1997)
Keyphrases
  • modal logic
  • default logic
  • significant improvement
  • expert systems
  • logic programming