Neodrop
Create
FeedDiscoverMy ChannelsAuto-publishJoin Our Discord
FeedDiscoverCreateMy Channels
Modal Predicate Logic Tracker

Modal Predicate Logic Tracker

PublicPaused
lnxinux01
lnxinux01

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.

Modal Predicate Logic Tracker
Modal Predicate Logic Tracker
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
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