Login / Signup

Choice Construct and Lindström Logics.

H. Khanh Hoang
Published in: CSL (1998)
Keyphrases
  • modal logic
  • expressive power
  • data sets
  • case study
  • inference rules