Copertina

Ignorance with(out) Grasping

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kubyshkina, Ekaterina, Petrolo, Mattia
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Ignorance as an excuse, formally
di: Kubyshkina, Ekaterina, et al.
Pubblicazione: (2025)

Axiomatizing Rumsfeld Ignorance
di: Fan, Jie
Pubblicazione: (2025)

Logics of False Belief and Radical Ignorance
di: Fan, Jie
Pubblicazione: (2024)

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

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

An order out of nowhere: a new algorithm for infinite-domain CSPs
di: Mottet, Antoine, et al.
Pubblicazione: (2023)

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

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

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

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

Semantics out of context: nominal absolute denotations for first-order logic and computation
di: Gabbay, Murdoch J.
Pubblicazione: (2013)

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

Obligations and permissions, algebraically
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

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

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

Normative implications
di: De Domenico, Andrea, et al.
Pubblicazione: (2025)

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

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

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

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

Quantitative Linear Logic
di: Capucci, Matteo, et al.
Pubblicazione: (2026)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
di: Flinkow, Thomas, et al.
Pubblicazione: (2026)

A General Framework for Property-Driven Machine Learning
di: Flinkow, Thomas, et al.
Pubblicazione: (2025)

Branching Bisimilarity for Processes with Time-outs
di: Reghem, Gaspard, et al.
Pubblicazione: (2024)

Generalized Decidability via Brouwer Trees
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)

Uniform interpolation with constructive diamond
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
di: Wang, Shanxia
Pubblicazione: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
di: de Groot, Jim, et al.
Pubblicazione: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
di: Geuvers, Herman
Pubblicazione: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
di: Wang, Shanxia
Pubblicazione: (2026)

Decidability of Quantum Modal Logic
di: Tokuo, Kenji
Pubblicazione: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

Relational semantics for flat Heyting-Lewis Logic
di: de Groot, Jim, et al.
Pubblicazione: (2026)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

Intentic Semantics for Potentialist Truthmaking
di: Gorbow, Paul
Pubblicazione: (2026)