Copertina

RDF Surfaces: Enabling Classical Negation on the Semantic Web

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hochstenbach, Patrick, van Noort, Mathijs, Arndt, Dörthe, Martens, Rebekka, De Roo, Jos, Verborgh, Ruben, Bonte, Pieter, Ongenae, Femke
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Syntactical Simplification of Temporal Operators in Negation-free MTL
di: van Noort, Mathijs, et al.
Pubblicazione: (2025)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
di: Proost, Cas, et al.
Pubblicazione: (2026)

Existential Notation3 Logic
di: Arndt, Dörthe, et al.
Pubblicazione: (2023)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
di: Arndt, Dörthe, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Adding Negation to Lambda Mu
di: van Bakel, Steffen
Pubblicazione: (2021)

Fixpoint Semantics for DatalogMTL with Negation
di: Pollaci, Samuele
Pubblicazione: (2026)

Reaching Classicality through Transitive Closure
di: Blomet, Quentin, et al.
Pubblicazione: (2025)

Normalisation for Negative Free Logics without and with Definite Descriptions
di: Kürbis, Nils
Pubblicazione: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
di: Ahrens, Emma, et al.
Pubblicazione: (2025)

On Classical Determinate Truth
di: Castaldo, Luca, et al.
Pubblicazione: (2024)

Propositional Calculus with Multiple Negations
di: Ramírez, Oscar
Pubblicazione: (2024)

Classical Logic without Bivalance
di: Gheorghiu, Alexander V.
Pubblicazione: (2025)

Intentic Semantics for Potentialist Truthmaking
di: Gorbow, Paul
Pubblicazione: (2026)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

On Modal Companions of Logics with Strong Negation
di: Anishchenko, Dmitry M.
Pubblicazione: (2025)

Tarskian Theories of Krivine's Classical Realisability
di: Hayashi, Daichi, et al.
Pubblicazione: (2025)

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

Two Remarks about Game Semantics of Classical Logic
di: Coquand, Thierry
Pubblicazione: (2026)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

A Friedman--Sheard-style Theory for Classical Realisability
di: Hayashi, Daichi, et al.
Pubblicazione: (2025)

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
di: Contente, Michele, et al.
Pubblicazione: (2024)

Interpolation in Classical Propositional Logic
di: Koopmann, Patrick, et al.
Pubblicazione: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
di: de Groot, Jim, et al.
Pubblicazione: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
di: Mojtahedi, Mojtaba, et al.
Pubblicazione: (2024)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

Hypergraph Semantics for Doxastic Logics
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
di: Kevin Fathi
Pubblicazione: (2025)

Topological Semantics for Common Inductive Knowledge
di: Namachivayam, Siddharth
Pubblicazione: (2026)

Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
di: Rodrigues, Abilio, et al.
Pubblicazione: (2026)

Semantics for Linear-time Temporal Logic with Finite Observations
di: Amjad, Rayhana, et al.
Pubblicazione: (2024)