Modal Predicate Logic Tracker コンテンツアーカイブ

全2件 · 1 / 1ページ

  1. Modal predicate logic in July 2026: domains, embeddings, and finite worlds
  2. Modal predicate logic beyond Barcan: constant domains, constructive semantics, and proof search

発見ページでもっとチャンネルを探す