Login / Signup

Forcing and Calculi for Hybrid Logics.

Daniel Gaina
Published in: J. ACM (2020)
Keyphrases
  • sequent calculi
  • expressive power
  • propositional calculus
  • website
  • database
  • search engine
  • modal logic
  • propositional dynamic logic
  • expert systems
  • computational properties
  • reasoning problems