Image de couverture de livre

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	De Domenico, Andrea, Farjami, Ali, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Wang, Xiaolong
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

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

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)

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

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

Questions as cognitive filters
par: Conradie, Willem, et autres
Publié: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
par: De Domenico, Andrea, et autres
Publié: (2026)

Query Answering in Lattice-based Description Logic
par: Manoorkar, Krishna, et autres
Publié: (2024)

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

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
par: Chrysafis, et autres
Publié: (2025)

Fuzzy Lattice-based Description Logic
par: Ding, Yiwen, et autres
Publié: (2025)

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

A proof-theoretic approach to abstract interpretation
par: D'Silva, Vijay, et autres
Publié: (2026)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
par: Liang, Xiaolong, et autres
Publié: (2024)

Inception Display Calculi
par: De Domenico, Andrea, et autres
Publié: (2026)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

Knowledge on a Budget
par: Majer, Ondrej, et autres
Publié: (2026)

Modular constructive Lyndon interpolation for nondistributive logics
par: De Domenico, Andrea, et autres
Publié: (2026)

Correspondence between Composite Theories and Distributive Laws
par: Rosset, Aloïs, et autres
Publié: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Initial Algebra Correspondence under Reachability Conditions
par: Kori, Mayuko, et autres
Publié: (2025)

A Curry-Howard Correspondence for Linear, Reversible Computation
par: Chardonnet, Kostia, et autres
Publié: (2023)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Base-extension Semantics for Intuitionistic Modal Logics
par: Buzoku, Yll, et autres
Publié: (2025)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Defeasible Reasoning on Concepts
par: Ding, Yiwen, et autres
Publié: (2024)

Generating proof systems for three-valued propositional logics
par: Greati, Vitor, et autres
Publié: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)