classical modal logic
Sign in to savemodal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule A↔B ⊢ ◻A↔◻B
modal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule A↔B ⊢ ◻A↔◻B
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).