logicaffeine_language/semantics/mod.rs
1//! Semantic transformations for logical expressions.
2//!
3//! This module provides post-parse semantic transformations:
4//!
5//! - **[`apply_axioms`]**: Expands predicates with entailments and hypernymy
6//! - **[`apply_kripke_lowering`]**: Converts modals to explicit world quantification
7//!
8//! These transformations enrich the logical representation with inferred content.
9
10mod axioms;
11pub mod kripke;
12pub mod knowledge_graph;
13
14pub use axioms::apply_axioms;
15pub use kripke::apply_kripke_lowering;
16
17include!(concat!(env!("OUT_DIR"), "/axiom_data.rs"));