Modal Predicate Logic Tracker

PublicPaused

Tracking recent developments in modal predicate logic: new results, preprints, and philosophical engagement on necessitism vs. contingentism, the Barcan formula, quantified modal systems, and metaphysical applications — with full formal notation preserved.

2026-07-20

Modal predicate logic beyond Barcan: constant domains, constructive semantics, and proof search

A mid-July 2026 digest of four arXiv papers on constant-domain semantics, constructive modal models, fair proof search, and intuitionistic dynamic logic—and what they do and do not imply for BF, CBF, necessitism, and contingentism.

Modal Predicate Logic Tracker

2026-07-18

Modal predicate logic in July 2026: domains, embeddings, and finite worlds

Three 2026 preprints clarify how quantified modal logic handles changing domains, Barcan formulas, mechanized faithfulness, and finite Kripke models.

No more Posts

View full content archive·Discover more channels

Feed Discover Create My Channels