:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kubyshkina, Ekaterina, Pereira, Marcio Kléos, Petrolo, Mattia
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2511.02942
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Ignorance with(out) Grasping
by: Kubyshkina, Ekaterina, et al.
Published: (2026)

Axiomatizing Rumsfeld Ignorance
by: Fan, Jie
Published: (2025)

Logics of False Belief and Radical Ignorance
by: Fan, Jie
Published: (2024)

Modal Logic for Simulation, Refinement, and Mutual Ignorance
by: van Ditmarsch, Hans, et al.
Published: (2025)

Incompleteness for stably computable formal systems
by: Savelyev, Yasha
Published: (2022)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

Unified inverse correspondence for LE-logics
by: Palmigiano, Alessandra, et al.
Published: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

Density cardinals
by: Brech, Christina, et al.
Published: (2024)

A formal system for reasoning about assertibility, truth, and meaningfulness
by: Weaver, Nik
Published: (2025)

Multi-representation associated to the numbering of a subbasis and formal inclusion relations
by: Rauzy, Emmanuel
Published: (2023)

A simple formalization of alpha-equivalence
by: Apinis, Kalmer, et al.
Published: (2025)

A formalization of the Gelfond-Schneider theorem
by: Karatarakis, Michail, et al.
Published: (2026)

Toward a formalization of artifacts in GFO
by: Fiegenbaum, Hanna
Published: (2024)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Modal reduction principles: a parametric shift to graphs
by: Conradie, Willem, et al.
Published: (2024)

Tutte's theorem as an educational formalization project
by: Otte, Pim
Published: (2025)

Ordered groups of formal series, and a conjugacy problem
by: Bagayoko, Vincent
Published: (2025)

PECR: A formal system based on computability logic
by: Pantelis, G.
Published: (2024)

Automorphisms and derivations on algebras endowed with formal infinite sums
by: Bagayoko, Vincent, et al.
Published: (2024)

Obligations and permissions on selfextensional logics
by: De Domenico, Andrea, et al.
Published: (2024)

A formal Lie correspondence
by: Bagayoko, Vincent
Published: (2026)

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

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

Metacat: a categorical framework for formal systems
by: Wilson, Paul
Published: (2026)

Obligations and permissions, algebraically
by: De Domenico, Andrea, et al.
Published: (2024)

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

A formalization of System I with type Top in Agda
by: Séttimo, Agustín, et al.
Published: (2026)

Finite element method. Detailed proofs to be formalized in Coq
by: Clément, François, et al.
Published: (2024)

Factorizing formal contexts from closures of necessity operators
by: Aragón, Roberto G., et al.
Published: (2026)

Normative implications
by: De Domenico, Andrea, et al.
Published: (2025)

Labelled calculi for lattice-based modal logics
by: van der Berg, Ineke, et al.
Published: (2024)

Labelled calculi for the logics of rough concepts
by: van der Berg, Ineke, et al.
Published: (2024)

A Foundation for Differentiable Logics using Dependent Type Theory
by: Affeldt, Reynald, et al.
Published: (2026)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

Non-distributive description logic
by: van der Berg, Ineke, et al.
Published: (2023)

Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
by: Rashid, Adnan, et al.
Published: (2024)

Duality theory in linear optimization and its extensions -- formally verified
by: Dvorak, Martin, et al.
Published: (2024)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
by: Arias, Jaime, et al.
Published: (2024)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
by: Ding, Yiwen, et al.
Published: (2024)