All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 02:18, 24 December 2023 SatoshiNakamoto talk contribs created page Disjunction and Modular Proof Search (Created page with "Title: Disjunction and Modular Proof Search Research Question: Can the modularity and locality of assumptions be enforced during goal-directed proof search in first-order multi-modal logics? Methodology: The study explores the proof-theoretic interaction between logical inferences and information flow in first-order multi-modal logics. It presents two equivalent ways of formulating modal inference, which enforces a discipline of structural scope in proofs. This allows...")