( en | de | ru )

 

Disambiguation of "Sedlár, Igor"

Author of the publication

copydeleteadd this publication to your clipboard
Propositional dynamic logic with Belnapian truth values.

. Advances in Modal Logic, page 503-519. College Publications, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gundula Sedlar

Igor Barabash

Das Bildzitat im Internet. Uni München, (2009)

Igor Pribicevic

Igor Yakushev

Igor Pilawski

 

Other publications of authors with the same name

Iterative division in the product-free Distributive Full Non-associative Lambek Calculus.. CoRR, (2019)Epistemic extensions of modal distributive substructural logics.. J. Log. Comput., 26 (6): 1787-1813 (2016)Substructural epistemic logics.. J. Appl. Non Class. Logics, 25 (3): 256-285 (2015)Almost APAL., , , and . J. Log. Comput., 33 (6): 1350-1378 (August 2023)Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)., and . J. Log. Comput., 33 (6): 1119-1121 (August 2023)Correction to: Lambek Calculus with Conjugates., and . Stud Logica, 109 (3): 471 (2021)Kleene Algebra With Tests for Weighted Programs.. ISMVL, page 111-116. IEEE, (2023)Epistemic extensions of substructural inquisitive logics., and . J. Log. Comput., 31 (7): 1820-1844 (2021)Situated Epistemic Updates., and . LORI, volume 13039 of Lecture Notes in Computer Science, page 192-200. Springer, (2021)First Degree Entailment with Group Attitudes and Information Updates., , and . LORI, volume 11813 of Lecture Notes in Computer Science, page 273-285. Springer, (2019)