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;
11mod kripke;
12
13pub use axioms::apply_axioms;
14pub use kripke::apply_kripke_lowering;
15
16include!(concat!(env!("OUT_DIR"), "/axiom_data.rs"));