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
Hyperintensional logics for everyone
I Sedlár
Synthese 198, 933–956, 2021
272021
Substructural epistemic logics
I Sedlár
Journal of Applied Non-Classical Logics 25 (3), 256-285, 2015
262015
Propositional dynamic logic with Belnapian truth values
I Sedlár
Advances in Modal Logic 11, 503-519, 2016
202016
Justifications, awareness and epistemic dynamics
I Sedlár
International Symposium on Logical Foundations of Computer Science, 307-318, 2013
152013
Substructural logics for pooling information
V Punčochář, I Sedlár
International Workshop on Logic, Rationality and Interaction, 407-421, 2017
142017
Epistemic extensions of modal distributive substructural logics
I Sedlár
Journal of Logic and Computation 26, 1787-1813, 2014
142014
Epistemic extensions of substructural inquisitive logics
V Punčochář, I Sedlár
Journal of Logic and Computation 31 (7), 1820-1844, 2021
122021
Inquisitive propositional dynamic logic
V Punčochář, I Sedlár
Journal of Logic, Language and Information 30 (1), 91-116, 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
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
62023
Relevant Reasoners in a Classical World
I Sedlár, P Vigiani
Advances in Modal Logic 14, 697-718, 2022
62022
Finitely-valued propositional dynamic logics
I Sedlár
Advances in Modal Logic 13, 561-579, 2020
62020
Term negation in first-order logic
I Sedlár, K Šebela
Logique et Analyse, 2019
62019
CI Lewis on possible worlds
I Sedlar
History and Philosophy of Logic 30 (3), 283-291, 2009
62009
Kleene algebra with tests for weighted programs
I Sedlár
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), 111-116, 2023
52023
Term-modal logics of evidence
I Sedlár
Epistemic Logic for Individual, Social, and Interactive Epistemology (ESSLLI …, 2014
52014
On the complexity of Kleene algebra with domain
I Sedlár
International Conference on Relational and Algebraic Methods in Computer …, 2023
42023
Expressivity of some versions of APAL
H van Ditmarsch, M Liu, LB Kuijer, I Sedlár
Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020
42020
Substructural propositional dynamic logics
I Sedlár
International Workshop on Logic, Language, Information, and Computation, 594-609, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20