Hybrid Logic and its Proof-Theory

By T. Braüner. 2010

150 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/b95523198e1d2e473eaa329d0fa378dc989874aa