Login / Signup

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.

Grigory K. OlkhovikovHeinrich Wansing
Published in: J. Philos. Log. (2018)
Keyphrases
  • logical framework
  • tableau calculus
  • multi agent systems
  • description logics
  • coalition logic
  • reasoning tasks
  • inference rules
  • knowledge base
  • belief revision
  • minimal models
  • modal logic
  • rough sets
  • multi agent