Image de couverture de livre

Ignorance as an excuse, formally

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kubyshkina, Ekaterina, Pereira, Marcio Kléos, Petrolo, Mattia
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Ignorance with(out) Grasping
par: Kubyshkina, Ekaterina, et autres
Publié: (2026)

Axiomatizing Rumsfeld Ignorance
par: Fan, Jie
Publié: (2025)

Logics of False Belief and Radical Ignorance
par: Fan, Jie
Publié: (2024)

Modal Logic for Simulation, Refinement, and Mutual Ignorance
par: van Ditmarsch, Hans, et autres
Publié: (2025)

Incompleteness for stably computable formal systems
par: Savelyev, Yasha
Publié: (2022)

Unified inverse correspondence for LE-logics
par: Palmigiano, Alessandra, et autres
Publié: (2024)

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

A formal system for reasoning about assertibility, truth, and meaningfulness
par: Weaver, Nik
Publié: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
par: De Domenico, Andrea, et autres
Publié: (2024)

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

Density cardinals
par: Brech, Christina, et autres
Publié: (2024)

Modal reduction principles: a parametric shift to graphs
par: Conradie, Willem, et autres
Publié: (2024)

A simple formalization of alpha-equivalence
par: Apinis, Kalmer, et autres
Publié: (2025)

A formalization of the Gelfond-Schneider theorem
par: Karatarakis, Michail, et autres
Publié: (2026)

Toward a formalization of artifacts in GFO
par: Fiegenbaum, Hanna
Publié: (2024)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Game semantics for lattice-based modal μ-calculus
par: Ding, Yiwen, et autres
Publié: (2023)

Ordered groups of formal series, and a conjugacy problem
par: Bagayoko, Vincent
Publié: (2025)

PECR: A formal system based on computability logic
par: Pantelis, G.
Publié: (2024)

Automorphisms and derivations on algebras endowed with formal infinite sums
par: Bagayoko, Vincent, et autres
Publié: (2024)

Obligations and permissions on selfextensional logics
par: De Domenico, Andrea, et autres
Publié: (2024)

Tutte's theorem as an educational formalization project
par: Otte, Pim
Publié: (2025)

Obligations and permissions, algebraically
par: De Domenico, Andrea, et autres
Publié: (2024)

A formal Lie correspondence
par: Bagayoko, Vincent
Publié: (2026)

Normative implications
par: De Domenico, Andrea, et autres
Publié: (2025)

Labelled calculi for lattice-based modal logics
par: van der Berg, Ineke, et autres
Publié: (2024)

Labelled calculi for the logics of rough concepts
par: van der Berg, Ineke, et autres
Publié: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Non-distributive description logic
par: van der Berg, Ineke, et autres
Publié: (2023)

A Foundation for Differentiable Logics using Dependent Type Theory
par: Affeldt, Reynald, et autres
Publié: (2026)

Metacat: a categorical framework for formal systems
par: Wilson, Paul
Publié: (2026)

Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
par: Rashid, Adnan, et autres
Publié: (2024)

An ecumenical view of proof-theoretic semantics
par: Nascimento, Victor, et autres
Publié: (2023)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
par: Arias, Jaime, et autres
Publié: (2024)

A formalization of System I with type Top in Agda
par: Séttimo, Agustín, et autres
Publié: (2026)

Finite element method. Detailed proofs to be formalized in Coq
par: Clément, François, et autres
Publié: (2024)

Factorizing formal contexts from closures of necessity operators
par: Aragón, Roberto G., et autres
Publié: (2026)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
par: Ding, Yiwen, et autres
Publié: (2024)

Duality theory in linear optimization and its extensions -- formally verified
par: Dvorak, Martin, et autres
Publié: (2024)

Quantitative Linear Logic
par: Capucci, Matteo, et autres
Publié: (2026)