Login / Signup

Hyperintensional logics for everyone.

Igor Sedlár
Published in: Synth. (2021)
Keyphrases
  • expressive power
  • modal logic
  • classical logic
  • inference rules
  • proof theory
  • decision making
  • multiscale
  • special case
  • computational properties
  • propositional calculus
  • inheritance reasoning