Realization for justification logics via nested sequents: Modularity through embedding.
Remo GoetschiRoman KuznetsPublished in: Ann. Pure Appl. Log. (2012)
Keyphrases
- sequent calculus
- linear logic
- inference rules
- modal logic
- expressive power
- epistemic logic
- community detection
- hierarchical structure
- expert systems
- nonlinear dimensionality reduction
- vector space
- situation calculus
- desirable properties
- theorem proving
- watermarking algorithm
- classical logic
- conditional logic
- graph embedding
- higher order
- knowledge representation
- face recognition