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