Issues

• Redundant top in modal formula definition

  FormalizedFormalLogic/ModalLogic#23 · Filter by author SnO2WMaN opened on Jun 18, 2026

• Rewriting to (only) Model based Kripke semantics

  FormalizedFormalLogic/ModalLogic#22 · Filter by author SnO2WMaN opened on Feb 25, 2026
  

• Forcing Interpretation of Modal Logic

  FormalizedFormalLogic/ModalLogic#21 · Filter by author SnO2WMaN opened on Jan 30, 2026
  1

• Second-Order Monadic Logic (for Modal Logic)

  FormalizedFormalLogic/ModalLogic#20 · Filter by author SnO2WMaN opened on Jan 27, 2026

• van Bentham's incomplete modal logic vB

  FormalizedFormalLogic/ModalLogic#19 · Filter by author SnO2WMaN opened on Jan 26, 2026

• Modal Axiom U

  FormalizedFormalLogic/ModalLogic#18 · Filter by author SnO2WMaN opened on Jan 25, 2026

• Topological derivative semantics for GL

  FormalizedFormalLogic/ModalLogic#17 · Filter by author iehality opened on Jan 7, 2026

• FFP of EMCNT4

  FormalizedFormalLogic/ModalLogic#16 · Filter by author SnO2WMaN opened on Nov 7, 2025
  

• Autoprover for Modal Logic

  FormalizedFormalLogic/ModalLogic#15 · Filter by author SnO2WMaN opened on Aug 31, 2025
  1

• FFP of S4H

  FormalizedFormalLogic/ModalLogic#14 · Filter by author SnO2WMaN opened on Jul 9, 2025

• BdRV Prop 2.14

  FormalizedFormalLogic/ModalLogic#13 · Filter by author SnO2WMaN opened on Jul 9, 2025
  

• Chagrov & Zakharyaschev, Theorem 3.51

  FormalizedFormalLogic/ModalLogic#12 · Filter by author SnO2WMaN opened on Jul 9, 2025
  

• Modality Reduction in S4

  FormalizedFormalLogic/ModalLogic#11 · Filter by author SnO2WMaN opened on Jun 22, 2025
  

• Grz.2 < S4.3M

  FormalizedFormalLogic/ModalLogic#10 · Filter by author SnO2WMaN opened on Jun 11, 2025
  

• S4.3M < Grz.3

  FormalizedFormalLogic/ModalLogic#9 · Filter by author SnO2WMaN opened on Jun 11, 2025

• Grz.3 < S4.4M

  FormalizedFormalLogic/ModalLogic#8 · Filter by author SnO2WMaN opened on Jun 10, 2025

• Rename Entailments for Modal Logic

  FormalizedFormalLogic/ModalLogic#7 · Filter by author SnO2WMaN opened on May 22, 2025

• Prove "Finite Modal Property implies Finite Frame Property"

  FormalizedFormalLogic/ModalLogic#6 · Filter by author SnO2WMaN opened on May 20, 2025

• Prove Completeness for Lemmon-Scott Axiom Schema

  FormalizedFormalLogic/ModalLogic#5 · Filter by author SnO2WMaN opened on May 20, 2025

• Bulldozing Kripke Frames

  FormalizedFormalLogic/ModalLogic#4 · Filter by author SnO2WMaN opened on Apr 15, 2025
  

• Kripke Completeness of Grz.3

  FormalizedFormalLogic/ModalLogic#3 · Filter by author SnO2WMaN opened on Mar 14, 2025
  

• Prove left lemma for Makinson's Theorem

  FormalizedFormalLogic/ModalLogic#2 · Filter by author SnO2WMaN opened on Mar 9, 2025
  

• Unspecifying modal operator in modal axioms

  FormalizedFormalLogic/ModalLogic#1 · Filter by author SnO2WMaN opened on Jul 16, 2024