A collaborative platform for formal logic researchers — papers, proof verifiers, and tools for the global logic community.
Browse and search thousands of peer-reviewed papers in propositional logic, predicate calculus, modal logic, and more. Symbols like ∀ and ∃ are rendered natively.
Open ToolSubmit formal proofs for automated verification. Supports natural deduction, sequent calculus, and Hilbert-style systems with notation like ⊢ and ¬.
Open ToolWrite and export formal logic expressions with a visual editor supporting ∧, ∨, → and custom notation sets.
Open Tool| Date | Title | Authors | Topic |
|---|---|---|---|
| 2026-03-10 | Decidability in Multi-Agent Epistemic Logic | Tanaka, Muller | Modal Logic |
| 2026-03-08 | Efficient Proof Search for Intuitionistic Propositional Logic | Rivera, Chang | Proof Theory |
| 2026-03-05 | Algebraic Semantics for Substructural Logics | Petrov, Nakamura | Algebra |
| 2026-03-01 | Temporal Reasoning Under Uncertainty: A Probabilistic Approach | Kim, Larsen | Temporal Logic |
| 2026-02-25 | Categorical Models of Dependent Type Theory | Johansson, Li | Type Theory |