Imagen de Portada

Ignorance as an excuse, formally

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kubyshkina, Ekaterina, Pereira, Marcio Kléos, Petrolo, Mattia
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Ignorance with(out) Grasping
por: Kubyshkina, Ekaterina, et al.
Publicado: (2026)

Axiomatizing Rumsfeld Ignorance
por: Fan, Jie
Publicado: (2025)

Logics of False Belief and Radical Ignorance
por: Fan, Jie
Publicado: (2024)

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

Incompleteness for stably computable formal systems
por: Savelyev, Yasha
Publicado: (2022)

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

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

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

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

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

Density cardinals
por: Brech, Christina, et al.
Publicado: (2024)

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

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

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

Toward a formalization of artifacts in GFO
por: Fiegenbaum, Hanna
Publicado: (2024)

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

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

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

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

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

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

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

Obligations and permissions, algebraically
por: De Domenico, Andrea, et al.
Publicado: (2024)

A formal Lie correspondence
por: Bagayoko, Vincent
Publicado: (2026)

Normative implications
por: De Domenico, Andrea, et al.
Publicado: (2025)

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

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

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

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

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

Metacat: a categorical framework for formal systems
por: Wilson, Paul
Publicado: (2026)

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

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

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

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

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

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

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

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

Quantitative Linear Logic
por: Capucci, Matteo, et al.
Publicado: (2026)