Skip to content
cs-conference-ranking.org

Igor Sedlr

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

5

Active years

2013–2026

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2026KRReasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic.Daniil Kozhemiachenko, Igor Sedlr
2024WoLLICCompleteness of Finitely Weighted Kleene Algebra with Tests.Igor Sedlr
2023WoLLICRelevant Reasoning and Implicit Beliefs.Igor Sedlr, Pietro Vigiani
2022AiMLRelevant Reasoners in a Classical World.Igor Sedlr, Pietro Vigiani
2022LFCSPropositional Dynamic Logic with Quantification over Regular Computation Sequences.Igor Sedlr
2022WoLLICEmbedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests.Igor Sedlr, Johann J. Wannenburg
2021KRDecidability and Complexity of Some Finitely-valued Dynamic Logics.Igor Sedlr
2020AiMLFinitely-Valued Propositional Dynamic Logic.Igor Sedlr
2019TAPIterative Division in the Distributive Full Non-associative Lambek Calculus.Igor Sedlr
2019WoLLICSubstructural Propositional Dynamic Logics.Igor Sedlr
2017WoLLICSubstructural Logics with a Reflexive Transitive Closure Modality.Igor Sedlr
2016AiMLPropositional dynamic logic with Belnapian truth values.Igor Sedlr
2013LFCSJustifications, Awareness and Epistemic Dynamics.Igor Sedlr
2013WoLLICInformation, Awareness and Substructural Logics.Igor Sedlr