Copertina

Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	d'Aragona, Antonio Piccolomini
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Calculi of epistemic grounding based on Prawitz's theory of grounds
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

A note on schematic validity and completeness in Prawitz's semantics
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Game of grounds
di: Catta, Davide, et al.
Pubblicazione: (2025)

Some results in non-monotonic proof-theoretic semantics
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Sundholm's explanation of meaning: logical atavism and the nature of proofs
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Denotational semantics driven simplicial homology?
di: Barbarossa, Davide
Pubblicazione: (2024)

Denotational semantics for stabiliser quantum programs
di: Booth, Robert I., et al.
Pubblicazione: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

Bilateral base-extension semantics
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
di: Becker, Justus, et al.
Pubblicazione: (2026)

Denotational Semantics for Probabilistic and Concurrent Programs
di: Zilberstein, Noam, et al.
Pubblicazione: (2025)

Denotational Foundations for Expected Cost Analysis
di: de Amorim, Pedro H. Azevedo
Pubblicazione: (2024)

Wiring the Pi-calculus to Denotational Semantics
di: Sakayori, Ken, et al.
Pubblicazione: (2026)

Yet another cubical type theory, but via a semantic approach
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)

A Coq Library of Sets for Teaching Denotational Semantics
di: Cao, Qinxiang, et al.
Pubblicazione: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2026)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
di: Watanabe, Kazuki, et al.
Pubblicazione: (2025)

Tableaux for epistemic Gödel logic
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Efficiently grounding FOL using bit vectors
di: Van Laer, Lucas, et al.
Pubblicazione: (2024)

Filling in the semantics for intuitionistic conditional logic
di: Dufty, Brendan, et al.
Pubblicazione: (2025)

Game semantics for lattice-based modal μ-calculus
di: Ding, Yiwen, et al.
Pubblicazione: (2023)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
di: Ye, Kangfeng, et al.
Pubblicazione: (2023)

Relational semantics for flat Heyting-Lewis Logic
di: de Groot, Jim, et al.
Pubblicazione: (2026)

The Denotational Semantics of SSA
di: Ghalayini, Jad Elkhaleq, et al.
Pubblicazione: (2024)

On semantics of first-order justification logic with binding modalities
di: Yavorskaya, Tatiana, et al.
Pubblicazione: (2025)

Syntax and semantics of multi-adjoint normal logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
di: Takemura, Ryo
Pubblicazione: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

Homotopy type theory as a language for diagrams of $\infty$-logoses
di: Uemura, Taichi
Pubblicazione: (2022)

An ecumenical view of proof-theoretic semantics
di: Nascimento, Victor, et al.
Pubblicazione: (2023)

Generalized Epstein semantics for Parry systems
di: Zamperlin, Nicolò
Pubblicazione: (2024)

Generalized quantifiers using team semantics
di: Engström, Fredrik
Pubblicazione: (2024)

There are (other) ways to negate in propositional team semantics
di: Yang, Fan
Pubblicazione: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
di: Ghica, Dan R., et al.
Pubblicazione: (2022)

A two-sorted theory of nilpotent Lie algebras
di: d'Elbée, Christian, et al.
Pubblicazione: (2024)

Compactness in team semantics
di: Joni Puljujärvi, et al.
Pubblicazione: (2024)

An essentially algebraic glance to Kripke semantics: the S5 case
di: De Berardinis, Matteo, et al.
Pubblicazione: (2025)