Follow
Igor Sedlár
Igor Sedlár
Researcher, Institute of Computer Science, The Czech Academy of Sciences; Institute of Philosophy
Verified email at cs.cas.cz - Homepage
Title
Cited by
Cited by
Year
Substructural epistemic logics
I Sedlár
Journal of Applied Non-Classical Logics 25 (3), 256-285, 2015
262015
Hyperintensional logics for everyone
I Sedlár
Synthese 198, 933–956, 2021
242021
Propositional dynamic logic with Belnapian truth values
I Sedlár
Advances in Modal Logic 11, 503-519, 2016
192016
Substructural logics for pooling information
V Punčochář, I Sedlár
International Workshop on Logic, Rationality and Interaction, 407-421, 2017
142017
Justifications, awareness and epistemic dynamics
I Sedlár
International Symposium on Logical Foundations of Computer Science, 307-318, 2013
142013
Epistemic extensions of modal distributive substructural logics
I Sedlár
Journal of Logic and Computation 26, 1787-1813, 2014
132014
Epistemic extensions of substructural inquisitive logics
V Punčochář, I Sedlár
Journal of Logic and Computation 31 (7), 1820-1844, 2021
82021
Iterative division in the distributive full non-associative Lambek calculus
I Sedlár
International Workshop on Dynamic Logic, 141-154, 2019
82019
From positive PDL to its non-classical extensions
I Sedlár, V Puncochár
Logic Journal of the IGPL 27, 522--542, 2019
72019
Inquisitive propositional dynamic logic
V Punčochář, I Sedlár
Journal of Logic, Language and Information 30 (1), 91-116, 2021
62021
CI Lewis on possible worlds
I Sedlar
History and Philosophy of Logic 30 (3), 283-291, 2009
62009
Relevant epistemic logic with public announcements and common knowledge
V PunČochář, I Sedlár, A Tedder
Journal of Logic and Computation 33 (2), 436-461, 2023
52023
Finitely-valued propositional dynamic logics
I Sedlár
Advances in Modal Logic 13, 561-579, 2020
52020
Relevant Reasoners in a Classical World
I Sedlár, P Vigiani
Advances in Modal Logic 14, 697-718, 2022
42022
Substructural propositional dynamic logics
I Sedlár
International Workshop on Logic, Language, Information, and Computation, 594-609, 2019
42019
Non-classical PDL on the cheap
I Sedlár
The Logica Yearbook, 239-256, 2016
42016
Kleene algebra with tests for weighted programs
I Sedlár
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), 111-116, 2023
32023
On the complexity of Kleene algebra with domain
I Sedlár
International Conference on Relational and Algebraic Methods in Computer …, 2023
32023
Incorporating the relation into the language? A survey of approaches in relating logic
L Estrada-González, A Giordani, T Jarmużek, M Klonowski, I Sedlár, ...
Logic and Logical Philosophy 30 (4), 711-739, 2021
32021
Situated epistemic updates
I Sedlár, A Tedder
Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021
32021
The system can't perform the operation now. Try again later.
Articles 1–20