Igor Sedlár

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 42

Top Topics

Linearly Ordered

International Workshop

Top Venues

J. Log. Comput.

Publications

Igor Sedlár
Completeness of Finitely Weighted Kleene Algebra with Tests. WoLLIC (2024)
Igor Sedlár
Completeness of Finitely Weighted Kleene Algebra With Tests. CoRR (2024)
Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
Almost APAL. J. Log. Comput. 33 (6) (2023)
Igor Sedlár
Kleene Algebra of Weighted Programs with Domain. DaLí (2023)
Igor Sedlár
On the Complexity of Kleene Algebra with Domain. RAMiCS (2023)
Manuel A. Martins, Igor Sedlár
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). J. Log. Comput. 33 (6) (2023)
Marta Bílková, Igor Sedlár
Epistemic Logics of Structured Intensional Groups. TARK (2023)
Vít Puncochár, Igor Sedlár, Andrew Tedder
Relevant epistemic logic with public announcements and common knowledge. J. Log. Comput. 33 (2) (2023)
Igor Sedlár
Kleene Algebra With Tests for Weighted Programs. ISMVL (2023)
Igor Sedlár
Kleene Algebra with Dynamic Tests: Completeness and Complexity. CoRR (2023)
Igor Sedlár
Kleene Algebra With Tests for Weighted Programs. CoRR (2023)
Igor Sedlár, Pietro Vigiani
Relevant Reasoning and Implicit Beliefs. WoLLIC (2023)
Igor Sedlár, Pietro Vigiani
Relevant Reasoners in a Classical World. AiML (2022)
Igor Sedlár, Johann J. Wannenburg
One-sorted Program Algebras. CoRR (2022)
Igor Sedlár, Pietro Vigiani
Relevant Reasoners in a Classical World. CoRR (2022)
Igor Sedlár, Johann J. Wannenburg
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. CoRR (2022)
Igor Sedlár
Propositional Dynamic Logic with Quantification over Regular Computation Sequences. LFCS (2022)
Vít Puncochár, Igor Sedlár
Routley Star in Information-Based Semantics. NCL (2022)
Igor Sedlár, Johann J. Wannenburg
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. WoLLIC (2022)
Igor Sedlár
Hyperintensional logics for everyone. Synth. 198 (2) (2021)
Igor Sedlár, Andrew Tedder
Situated Epistemic Updates. LORI (2021)
Vít Puncochár, Igor Sedlár
Relevant Epistemic Logic with Public Announcements and Common Knowledge. CLAR (2021)
Vít Puncochár, Igor Sedlár
Inquisitive Propositional Dynamic Logic. J. Log. Lang. Inf. 30 (1) (2021)
Igor Sedlár, Andrew Tedder
Lambek Calculus with Conjugates. Stud Logica 109 (3) (2021)
Igor Sedlár, Andrew Tedder
Correction to: Lambek Calculus with Conjugates. Stud Logica 109 (3) (2021)
Vít Puncochár, Igor Sedlár
Epistemic extensions of substructural inquisitive logics. J. Log. Comput. 31 (7) (2021)
Igor Sedlár
Decidability and Complexity of Some Finitely-valued Dynamic Logics. KR (2021)
Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
Expressivity of Some Versions of APAL. DaLí (2020)
Igor Sedlár
Finitely-valued propositional dynamic logic. CoRR (2020)
Igor Sedlár
Finitely-Valued Propositional Dynamic Logic. AiML (2020)
Igor Sedlár
Substructural Propositional Dynamic Logics. WoLLIC (2019)
Igor Sedlár
Iterative division in the product-free Distributive Full Non-associative Lambek Calculus. CoRR (2019)
Igor Sedlár, Vít Puncochár, Andrew Tedder
First Degree Entailment with Group Attitudes and Information Updates. LORI (2019)
Igor Sedlár, Vít Puncochár, Andrew Tedder
First Degree Entailment with Group Attitudes and Information Updates. CoRR (2019)
Igor Sedlár, Vít Puncochár
From positive PDL to its non-classical extensions. Log. J. IGPL 27 (4) (2019)
Igor Sedlár
Iterative Division in the Distributive Full Non-associative Lambek Calculus. DaLí (2019)
Vít Puncochár, Igor Sedlár
Substructural Logics for Pooling Information. LORI (2017)
Igor Sedlár
Substructural Logics with a Reflexive Transitive Closure Modality. WoLLIC (2017)
Igor Sedlár
Propositional dynamic logic with Belnapian truth values. CoRR (2016)
Igor Sedlár
Epistemic extensions of modal distributive substructural logics. J. Log. Comput. 26 (6) (2016)
Igor Sedlár
Propositional dynamic logic with Belnapian truth values. Advances in Modal Logic (2016)
Igor Sedlár
Substructural epistemic logics. J. Appl. Non Class. Logics 25 (3) (2015)
Igor Sedlár
Justifications, Awareness and Epistemic Dynamics. LFCS (2013)
Igor Sedlár
Information, Awareness and Substructural Logics. WoLLIC (2013)