30 citations
- Consejo Superior de Investigaciones CientíficasES3 papers
- Universitat de BarcelonaES3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Artificial Intelligence Research InstituteES1 paper
- Australian National UniversityAU1 paper
- Centro Científico Tecnólogico - RosarioAR1 paper
- Consejo Nacional de Investigaciones Científicas y TécnicasAR1 paper
- Dansk Sygehus InstitutDK1 paper
- Delft University of TechnologyNL1 paper
- Exact Sciences (United States)US1 paper
- Fund for Scientific ResearchBE1 paper
- Institut de Recherche en Informatique FondamentaleFR1 paper
Showing 2022Show all
3 papers · 1 filter
math.LO2022★ 2 cited
Intuitionistic Sahlqvist theory for deductive systems
Damiano Fornasiere, Tommaso Moraschini
Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory o…
math.LO2022★ 7 cited
Positive Modal Logic Beyond Distributivity
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot +1
We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic…
cs.DC2022
Early Adapting to Trends: Self-Stabilizing Information Spread using Passive Communication
Amos Korman, Robin Vacus
How to efficiently and reliably spread information in a system is one of the most fundamental problems in distributed computing. Recently, inspired by biological scenarios, several…