2025/10/25 by Nicholas Ferenz, Andrew Tedder
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.1007/s10670-025-01012-9
openalex created_date 2025/10/25 · openalex publication_date 2025/10/25 · openalex updated_date 2026/07/24
Abstract We investigate the problem of providing relevance properties for first order logics by expanding on recent work concerning relevance as a topical property in propositional relevant logics. We propose a theory of topic for first order languages, relying on the use of focus markers in an extension of the usual first order language, and suggest how such an enrichment of the language and conceptual apparatus of the logic can provide avenues into the first order relevance problem.