Archivo de contenido de Modal Predicate Logic Tracker

2 publicaciones · Página 1 de 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

Explora más canales en Descubrir