Global completeness of one-sorted definedness-free matching logic

Source: arxiv:2608.13306, url:https://hdl.handle.net/2142/102281 Authors: Aurélien Eveil, Anthropic, OpenAI Status: verified Main declarations: MatchingLogic.global_completeness_entryIII Tags: matching-logic, mathematical-logic, modal-logic, completeness, formal-methods MSC: 03B45, 03B70