Igor Sedlár

53 papers A* 1B 6C 7Misc 2Journal 25Unranked 10
YearRankTypeTitle / Venue / Authors
2026 — ed.
Logic, Language, and Computation - 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers
Tbilisi
Lotte Hogeweg, Raheleh Jalali, Igor Sedlár, Lena Schwarz
2025 J jnl
A note on formalizing discussive logic.
Australas. J. Log.
Hitoshi Omori, Igor Sedlár
2025 B conf
Complexity of Łukasiewicz Modal Probabilistic Logics.
TARK
Daniil Kozhemiachenko, Igor Sedlár
2025 J jnl
Hyperintensional models for non-congruential modal logics.
Log. J. IGPL
Matteo Pascucci, Igor Sedlár
2025 — conf
On Many-Valued Modal Probabilistic Logics.
ISMVL
Ondrej Majer, Igor Sedlár
2024 B ed.
Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024.
AiML
Agata Ciabattoni, David Gabelaia, Igor Sedlár
2024 J jnl
Completeness of Finitely Weighted Kleene Algebra With Tests.
CoRR
Igor Sedlár
2024 C conf
Completeness of Finitely Weighted Kleene Algebra with Tests.
WoLLIC
Igor Sedlár
2024 J jnl
Epistemic Logics for Relevant Reasoners.
J. Philos. Log.
Igor Sedlár, Pietro Vigiani
2024 J jnl
Implicational Kleene algebra with domain and the substructural logic of partial correctness.
Math. Struct. Comput. Sci.
Igor Sedlár
2023 J jnl
Almost APAL.
J. Log. Comput.
Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
2023 J jnl
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020).
J. Log. Comput.
Manuel A. Martins, Igor Sedlár
2023 B conf
Epistemic Logics of Structured Intensional Groups.
TARK
Marta Bílková, Igor Sedlár
2023 — conf
Kleene Algebra With Tests for Weighted Programs.
ISMVL
Igor Sedlár
2023 J jnl
Kleene Algebra With Tests for Weighted Programs.
CoRR
Igor Sedlár
2023 — conf
Kleene Algebra of Weighted Programs with Domain.
DaLí
Igor Sedlár
2023 J jnl
Kleene Algebra with Dynamic Tests: Completeness and Complexity.
CoRR
Igor Sedlár
2023 C conf
On the Complexity of Kleene Algebra with Domain.
RAMiCS
Igor Sedlár
2023 C conf
Relevant Reasoning and Implicit Beliefs.
WoLLIC
Igor Sedlár, Pietro Vigiani
2023 J jnl
Relevant epistemic logic with public announcements and common knowledge.
J. Log. Comput.
Vít Puncochár, Igor Sedlár, Andrew Tedder
2022 C conf
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests.
WoLLIC
Igor Sedlár, Johann J. Wannenburg
2022 J jnl
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests.
CoRR
Igor Sedlár, Johann J. Wannenburg
2022 J jnl
One-sorted Program Algebras.
CoRR
Igor Sedlár, Johann J. Wannenburg
2022 Misc conf
Propositional Dynamic Logic with Quantification over Regular Computation Sequences.
LFCS
Igor Sedlár
2022 B conf
Relevant Reasoners in a Classical World.
AiML
Igor Sedlár, Pietro Vigiani
2022 J jnl
Relevant Reasoners in a Classical World.
CoRR
Igor Sedlár, Pietro Vigiani
2022 — conf
Routley Star in Information-Based Semantics.
NCL
Vít Puncochár, Igor Sedlár
2021 J jnl
Correction to: Lambek Calculus with Conjugates.
Stud Logica
Igor Sedlár, Andrew Tedder
2021 A* conf
Decidability and Complexity of Some Finitely-valued Dynamic Logics.
KR
Igor Sedlár
2021 J jnl
Epistemic extensions of substructural inquisitive logics.
J. Log. Comput.
Vít Puncochár, Igor Sedlár
2021 J jnl
Hyperintensional logics for everyone.
Synth.
Igor Sedlár
2021 J jnl
Inquisitive Propositional Dynamic Logic.
J. Log. Lang. Inf.
Vít Puncochár, Igor Sedlár
2021 J jnl
Lambek Calculus with Conjugates.
Stud Logica
Igor Sedlár, Andrew Tedder
2021 — conf
Relevant Epistemic Logic with Public Announcements and Common Knowledge.
CLAR
Vít Puncochár, Igor Sedlár
2021 — conf
Situated Epistemic Updates.
LORI
Igor Sedlár, Andrew Tedder
2020 — ed.
Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers
DaLí
Manuel A. Martins, Igor Sedlár
2020 — conf
Expressivity of Some Versions of APAL.
DaLí
Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
2020 B conf
Finitely-Valued Propositional Dynamic Logic.
AiML
Igor Sedlár
2020 J jnl
Finitely-valued propositional dynamic logic.
CoRR
Igor Sedlár
2019 — conf
First Degree Entailment with Group Attitudes and Information Updates.
LORI
Igor Sedlár, Vít Puncochár, Andrew Tedder
2019 J jnl
First Degree Entailment with Group Attitudes and Information Updates.
CoRR
Igor Sedlár, Vít Puncochár, Andrew Tedder
2019 J jnl
From positive PDL to its non-classical extensions.
Log. J. IGPL
Igor Sedlár, Vít Puncochár
2019 — conf
Iterative Division in the Distributive Full Non-associative Lambek Calculus.
DaLí
Igor Sedlár
2019 J jnl
Iterative division in the product-free Distributive Full Non-associative Lambek Calculus.
CoRR
Igor Sedlár
2019 C conf
Substructural Propositional Dynamic Logics.
WoLLIC
Igor Sedlár
2017 — conf
Substructural Logics for Pooling Information.
LORI
Vít Puncochár, Igor Sedlár
2017 C conf
Substructural Logics with a Reflexive Transitive Closure Modality.
WoLLIC
Igor Sedlár
2016 J jnl
Epistemic extensions of modal distributive substructural logics.
J. Log. Comput.
Igor Sedlár
2016 B conf
Propositional dynamic logic with Belnapian truth values.
Advances in Modal Logic
Igor Sedlár
2016 J jnl
Propositional dynamic logic with Belnapian truth values.
CoRR
Igor Sedlár
2015 J jnl
Substructural epistemic logics.
J. Appl. Non Class. Logics
Igor Sedlár
2013 C conf
Information, Awareness and Substructural Logics.
WoLLIC
Igor Sedlár
2013 Misc conf
Justifications, Awareness and Epistemic Dynamics.
LFCS
Igor Sedlár