Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder.
Zhiguang ZhaoPublished in: CoRR (2022)
Keyphrases
- formal theory
- set theory
- theoretical basis
- general theory
- probability theory
- asynchronous circuits
- modal logic
- computer algebra
- theoretical framework
- boolean algebra
- commonsense reasoning
- hybrid approaches
- data sets
- proof theoretic
- proof theory
- artificial intelligence
- defeasible logic
- finite model theory
- digital circuits
- logical framework
- information theory
- rough sets
- multi agent systems
- neural network