Copertina

Obligations and permissions on selfextensional logics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	De Domenico, Andrea, Farjami, Ali, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Wang, Xiaolong
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic Logic in Computer Science 03G27
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

Algorithmic correspondence and analytic rules
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)

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

Generating proof systems for three-valued propositional logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Generalization of terms via universal algebra
di: Flaminio, Tommaso, et al.
Pubblicazione: (2025)

Questions as cognitive filters
di: Conradie, Willem, et al.
Pubblicazione: (2025)

On syntactic concept lattice models for the Lambek calculus and infinitary action logic
di: Kuznetsov, Stepan L.
Pubblicazione: (2025)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
di: Castiglioni, José Luis, et al.
Pubblicazione: (2025)

Possibility Frames and Forcing for Modal Logic
di: Holliday, Wesley H.
Pubblicazione: (2025)

Modular many-valued semantics for combined logics
di: Caleiro, Carlos, et al.
Pubblicazione: (2022)

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

Domain size asymptotics for Markov logic networks
di: Koponen, Vera
Pubblicazione: (2025)

First-Order Modal Logic via Logical Categories
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
di: Samra, Jean Abou, et al.
Pubblicazione: (2026)

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
di: Hartonas, Chrysafis
Pubblicazione: (2023)

The most natural paradefinite logic relative to classical logic
di: Middelburg, C. A.
Pubblicazione: (2026)

The interdefinability of expansions of Belnap-Dunn logic
di: Middelburg, C. A.
Pubblicazione: (2024)

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

Modal logic, fundamentally
di: Holliday, Wesley H.
Pubblicazione: (2024)

Projection-algebras and quantum logic
di: Lehmann, Daniel
Pubblicazione: (2024)

A simplified lower bound for implicational logic
di: Jeřábek, Emil
Pubblicazione: (2023)

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

Modular constructive Lyndon interpolation for nondistributive logics
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)

A convergence law for continuous logic and continuous structures with finite domains
di: Koponen, Vera
Pubblicazione: (2025)

Relational Models for the Lambek Calculus with Intersection and Constants
di: Kuznetsov, Stepan L.
Pubblicazione: (2022)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
di: Ramani, Mahesh, et al.
Pubblicazione: (2026)

Morita Rigidity for Kleene Algebras
di: Serafin, Luke
Pubblicazione: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
di: Santo, José Espírito, et al.
Pubblicazione: (2020)

Query Answering in Lattice-based Description Logic
di: Manoorkar, Krishna, et al.
Pubblicazione: (2024)

Maehara Interpolation in Extensions of R-mingle
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

Models for the common knowledge logic
di: Tanaka, Yoshihito
Pubblicazione: (2024)