Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@).

Published in: CoRR (2022)

Keyphrases

formal theory
theoretical framework
linear temporal logic
computer algebra
computational model
logical framework
set theory
theoretical basis
classical logic
finite model theory
description logics
deductive reasoning
asynchronous circuits
commonsense reasoning
multi valued
normal form
logic programming