:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	d'Aragona, Antonio Piccolomini
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2501.10491
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Calculi of epistemic grounding based on Prawitz's theory of grounds
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

A note on schematic validity and completeness in Prawitz's semantics
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

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

Game of grounds
von: Catta, Davide, et al.
Veröffentlicht: (2025)

Some results in non-monotonic proof-theoretic semantics
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Sundholm's explanation of meaning: logical atavism and the nature of proofs
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Denotational semantics driven simplicial homology?
von: Barbarossa, Davide
Veröffentlicht: (2024)

Denotational semantics for stabiliser quantum programs
von: Booth, Robert I., et al.
Veröffentlicht: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Bilateral base-extension semantics
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Denotational Foundations for Expected Cost Analysis
von: de Amorim, Pedro H. Azevedo
Veröffentlicht: (2024)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

A Coq Library of Sets for Teaching Denotational Semantics
von: Cao, Qinxiang, et al.
Veröffentlicht: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

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

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

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2025)

The Denotational Semantics of SSA
von: Ghalayini, Jad Elkhaleq, et al.
Veröffentlicht: (2024)

Efficiently grounding FOL using bit vectors
von: Van Laer, Lucas, et al.
Veröffentlicht: (2024)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

Game semantics for lattice-based modal μ-calculus
von: Ding, Yiwen, et al.
Veröffentlicht: (2023)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Syntax and semantics of multi-adjoint normal logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

Homotopy type theory as a language for diagrams of $\infty$-logoses
von: Uemura, Taichi
Veröffentlicht: (2022)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
von: Takemura, Ryo
Veröffentlicht: (2025)

An ecumenical view of proof-theoretic semantics
von: Nascimento, Victor, et al.
Veröffentlicht: (2023)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
von: Ghica, Dan R., et al.
Veröffentlicht: (2022)

There are (other) ways to negate in propositional team semantics
von: Yang, Fan
Veröffentlicht: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Generalized Epstein semantics for Parry systems
von: Zamperlin, Nicolò
Veröffentlicht: (2024)

Generalized quantifiers using team semantics
von: Engström, Fredrik
Veröffentlicht: (2024)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
von: Balbiani, Philippe
Veröffentlicht: (2025)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
von: Soldevila, Mallku, et al.
Veröffentlicht: (2024)

Compactness in team semantics
von: Joni Puljujärvi, et al.
Veröffentlicht: (2024)