Buchumschlag

Modal reduction principles: a parametric shift to graphs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Conradie, Willem, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Unified inverse correspondence for LE-logics
von: Palmigiano, Alessandra, et al.
Veröffentlicht: (2024)

Questions as cognitive filters
von: Conradie, Willem, et al.
Veröffentlicht: (2025)

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

Obligations and permissions on selfextensional logics
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

Obligations and permissions, algebraically
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

Labelled calculi for lattice-based modal logics
von: van der Berg, Ineke, et al.
Veröffentlicht: (2024)

Labelled calculi for the logics of rough concepts
von: van der Berg, Ineke, et al.
Veröffentlicht: (2024)

Normative implications
von: De Domenico, Andrea, et al.
Veröffentlicht: (2025)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2024)

Non-distributive description logic
von: van der Berg, Ineke, et al.
Veröffentlicht: (2023)

Game semantics for lattice-based modal μ-calculus
von: Ding, Yiwen, et al.
Veröffentlicht: (2023)

Flexible categorization using formal concept analysis and Dempster-Shafer theory
von: Boersma, Marcel, et al.
Veröffentlicht: (2024)

Query Answering in Lattice-based Description Logic
von: Manoorkar, Krishna, et al.
Veröffentlicht: (2024)

Fuzzy Lattice-based Description Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2025)

Inception Display Calculi
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

Knowledge on a Budget
von: Majer, Ondrej, et al.
Veröffentlicht: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Modular constructive Lyndon interpolation for nondistributive logics
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Correspondence Theory for Many-valued Modal Logic
von: Britz, Cecelia, et al.
Veröffentlicht: (2024)

Algebraic proof theory for LE-logics
von: Greco, Giuseppe, et al.
Veröffentlicht: (2018)

Generating proof systems for three-valued propositional logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Defeasible Reasoning on Concepts
von: Ding, Yiwen, et al.
Veröffentlicht: (2024)

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)

An independence of the MIN principle from the PHP principle
von: Narusevych, Mykyta
Veröffentlicht: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

Modal Fragments
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2026)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

The fractal Goodstein principle
von: Fernández-Duque, David, et al.
Veröffentlicht: (2025)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

The measuring principle and the continuum hypothesis
von: Golshani, Mohammad, et al.
Veröffentlicht: (2022)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Nested Sequents for Quasi-transitive Modal Logics
von: Marin, Sonia, et al.
Veröffentlicht: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
von: Buzoku, Yll, et al.
Veröffentlicht: (2025)