:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	d'Aragona, Antonio Piccolomini
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2501.10490
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
by: d'Aragona, Antonio Piccolomini
Published: (2025)

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

Game of grounds
by: Catta, Davide, et al.
Published: (2025)

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

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

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

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

Inception Display Calculi
by: De Domenico, Andrea, et al.
Published: (2026)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
by: Nishimura, Yuki
Published: (2022)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
by: Lyon, Tim S.
Published: (2024)

Local Intuitionistic Modal Logics and Their Calculi
by: Balbiani, Philippe, et al.
Published: (2024)

Sequent Calculi for some subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)

Rule Formats for Nominal Process Calculi
by: Aceto, Luca, et al.
Published: (2024)

Lax Modal Lambda Calculi
by: Valliappan, Nachiappan
Published: (2025)

On the Expressivity of Typed Concurrent Calculi
by: Paulus, Joseph William Neal
Published: (2024)

Hypersequent Calculi Have Ackermannian Complexity
by: Balasubramanian, A. R., et al.
Published: (2026)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Expressiveness Results for Timed Modal Mu-Calculi
by: Cleaveland, Rance, et al.
Published: (2023)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
by: Litak, Tadeusz, et al.
Published: (2025)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

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

Uniform Cut-free Bisequent Calculi for Three-valued Logics
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
by: Nakamura, Yoshiki
Published: (2023)

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

Twist Sequent Calculi for S4 and its Neighbors
by: Kamide, Norihiro
Published: (2024)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
by: Imaz, Gonzalo E.
Published: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
by: Heuvel, Bas van den, et al.
Published: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
by: Alrabbaa, Christian, et al.
Published: (2025)

Dependence and Independence for Reversible Process Calculi
by: Aubert, Clément, et al.
Published: (2024)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
by: Gao, Dichuan, et al.
Published: (2026)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
by: Balbiani, Philippe
Published: (2025)

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

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
by: Bobrow, Elliot, et al.
Published: (2025)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)

Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
by: Balbiani, Philippe, et al.
Published: (2025)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)