Cover Image

Modal reduction principles: a parametric shift to graphs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Conradie, Willem, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Questions as cognitive filters
by: Conradie, Willem, et al.
Published: (2025)

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

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

Obligations and permissions, algebraically
by: De Domenico, Andrea, et al.
Published: (2024)

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

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

Normative implications
by: De Domenico, Andrea, et al.
Published: (2025)

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

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

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

Flexible categorization using formal concept analysis and Dempster-Shafer theory
by: Boersma, Marcel, et al.
Published: (2024)

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

Fuzzy Lattice-based Description Logic
by: Ding, Yiwen, et al.
Published: (2025)

Inception Display Calculi
by: De Domenico, Andrea, et al.
Published: (2026)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

Knowledge on a Budget
by: Majer, Ondrej, et al.
Published: (2026)

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

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

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

Algebraic proof theory for LE-logics
by: Greco, Giuseppe, et al.
Published: (2018)

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

Defeasible Reasoning on Concepts
by: Ding, Yiwen, et al.
Published: (2024)

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

An independence of the MIN principle from the PHP principle
by: Narusevych, Mykyta
Published: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)

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

The fractal Goodstein principle
by: Fernández-Duque, David, et al.
Published: (2025)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

Distribution-Free Normal Modal Logics
by: Hartonas, Chrysafis
Published: (2024)

Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)

Modal definability in Euclidean modal logics
by: Balbiani, Philippe, et al.
Published: (2025)

The measuring principle and the continuum hypothesis
by: Golshani, Mohammad, et al.
Published: (2022)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Nested Sequents for Quasi-transitive Modal Logics
by: Marin, Sonia, et al.
Published: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)