Reproduce “Vector space embeddings of modal logic formulas: theory and application” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Pietro Casavecchia, Alberto Paparella, Leonardo Serrentino
The authors represent modal formulas as binary vectors across selected finite Kripke models, with each coordinate recording whether a formula is true at a model’s designated world. They compare these truth patterns to suggest entailment and shorter formulas within a candidate set. These are sample-based proposals, not demonstrated proofs of entailment across all models or measured performance.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.