Papers

In print

I. Sedlár: Iterative division in the Distributive Full Non-associative Lambek Calculus. In: Luís Soares Barbosa and Alexandru Baltag (Eds.), Dynamic Logic. New Trends and Applications. (Proc. DaLí 2019). Lecture Notes in Computer Science 12005, Springer, 2020. [Preprint]

O. Majer, I. Sedlár: Modelling sources of inconsistent information in paraconsistent modal logic. In: H. Omori and H. Wansing (Eds.), New Essays on Belnap-Dunn Logic. Synthese Library Seres, vol. 418. Springer, 2019. [Preprint]
V. Punčochář, I. Sedlár, A. Tedder: First Degree Entailment with group attitudes and information updates. P. Blackburn, E. Lorini, M. Guo (Eds.): Logic, Rationality, and Interaction (Proc. LORI-VII), pp. 273-285. Lecture Notes in Computer Science 11813, Springer, 2019. [Preprint]
V. Punčochář, I. Sedlár: From positive PDL to its non-classical extensions. Logic Journal of the IGPL, 27(4), 522-542, 2019. [Preprint]
I. Sedlár: Substructural propositional dynamic logics. In: R. De Queiroz, R. Iemhoff, M. Moortgat (Eds.): Logic, Language, Information, and Computation (Proc. WoLLIC 2019), pp. 594-609. Lecture Notes in Computer Science 11541, Springer, 2019.

V. Punčochář, I. Sedlár: Substructural logics for pooling information. In: A. Baltag, J. Seligman and T. Yamada (Eds.): Logic, Rationality, and Interaction (Proc. LORI-VI), pp. 407-241. Lecture Notes in Computer Science 10455, Springer, 2017.
I. Sedlár: Substructural logics with a reflexive transitive closure modality. In: J. Kennedy and R. de Queiroz (Eds.): Logic, Language, Information, and Computation (Proc. WoLLIC 2017), pp. 349-357. Lecture Notes in Computer Science 10388, Springer, 2017.
I. Sedlár: Non-classical PDL on the cheap. In: P. Arazim and T. Lávička (Eds.), The Logica Yearbook 2016, pp. 239–256. College Publications, 2017.

I. Sedlár: Epistemic extensions of modal distributive substructural logics. Journal of Logic and Computation, 26(6), 1787-1813, 2016.
I. Sedlár: Propositional dynamic logic with Belnapian truth values. In: L. Beklemishev, S. Demri, A. Máté (Eds.), Advances in Modal Logic, Volume 11, pp. 503-519. College Publications, 2016.

I. Sedlár: Substructural epistemic logics. Journal of Applied Non-Classical Logics, 25, 256-285, 2015. [Preprint]
I. Sedlár: The semantics of empirical unverifiability. Organon F, 22, 358-377, 2015. [Preprint]
I. Sedlár: Action frames for weak relevant logics. In: P. Arazim and M. Dančák (Eds.), The Logica Yearbook 2014, pp. 267-279. College Publications, 2015.

I. Sedlár: Relating logics of justifications and evidence. In: V. Punčochář and M. Dančák (Eds.), The Logica Yearbook 2013, pp. 207-222. College Publications, 2014.
I. Sedlár: Inter-model connectives and substructural logics. In: R. Ciuni, H. Wansing, C. Willkommen (Eds.), Recent Trends in Philosophical Logic (Proc. Trends in Logic XI), pp. 195-209. Trends in Logic 41, Springer, 2014.
I. Sedlár, J. Šefránek: Logic and cognitive science. In: V. Kvasnička (Ed.), Artificial Intelligence and Cognitive Science IV. Slovak University of Technology Press, 2014.
I. Sedlár: J. Dejnožka, The Concept of Relevance and the Logic Diagram Tradition (Review). Organon F, 21, 126-130, 2014.

I. Sedlár: An outline of a substructural model of BTA-belief. Organon F, 20 (Suppl. Issue 2), 160-170, 2013.
I. Sedlár: Information, awareness and substructural logics. In: Libkin, L., Kohlenbach, U., de Queiroz, R. (Eds.), Logic, Language, Information, and Computation (Proc. WoLLIC 2013), pp. 266-281. Lecture Notes in Computer Science 8071, Springer, 2013.
I. Sedlár: From pair points to pairs of models. In: V. Punčochář and P. Švarný (Eds.), The Logica Yearbook 2012. College Publications, 2013.
I. Sedlár: Justifications, awareness and epistemic dynamics. In: S. Artemov and A. Nerode (Eds.), Logical Foundations of Computer Science (Proc. LFCS 2013), pp. 307-318. Lecture Notes in Computer Science 7734, Springer, 2013.

I. Sedlár: Boxes are relevant. In: M. Peliš and V. Punčochář (Eds.), The Logica Yearbook 2011. College Publications, 2012.
I. Sedlár: Neomylnost' a logika (Infallibility and logic, in Slovak). Organon F, 19(1), 239-254, 2012.
I. Sedlár: Prirodzená dedukcia, či analytické tably? (Natural deduction or analytic tableaus?, in Slovak) In: L. Dostálová (Ed.), Organon VIII: Calculemus, pp. 53-61. University of Western Bohemia Press, 2012.

I. Sedlár: Moorean sentences in update semantics. Organon F, 18(2), 142-153, 2011.
J. Podroužek, I. Sedlár: Logics of Moore's paradox. In: M. Peliš and V. Punčochář (Eds.), The Logica Yearbook 2010. College Publications, 2011.
I. Sedlár: V čom sa nemžete mýlit'? (On what you cannot be mistaken about, in Slovak). Organon F, 18(3), 351-362, 2011.
I. Sedlár: Čo dokáže filozof? (Prove to be a philosopher, in Slovak) In: L. Dostálová (Ed.), Organon VII aneb Nihil Novi, pp. 23-29. University of Western Bohemia Press, 2011.

J. Podroužek, I. Sedlár: Justification logic as dynamic epistemic logic? In: X. Arrazola and M. Ponte (Eds.), Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication, and Action (LogKCA-10), pp. 431-442. The University of the Basque Country Press, 2010.
J. Podroužek, I. Sedlár: A new notion of meaning connection and the logic of simple processes. In: M. Peliš (Ed.), The Logica Yearbook 2009, pp. 247-258. College Publications, 2010.
P. Ježík, D. Kamhal, I. Sedlár, P. Sýkora: Saul Kripke a oživenie metafyziky (Saul Kripke and the Resurrection of Metaphysics, in Slovak). Schola Philosophica, 2010.
J. Podroužek, I. Sedlár: Poznanie, verifikácia a logika jednoduchých procesov (Knowledge, verification and the logic of simple processes, in Slovak). In: M. Zouhar (Ed.), Kontext a význam. Aleph, 2010.

I. Sedlár: C. I. Lewis on possible worlds. History and Philosophy of Logic, 30(3), 283-291, 2009.
I. Sedlár: Implikácia a tri druhy obsahovej súvislosti (Implication and three kinds of meaning connection, in Slovak). Filozofia, 64(4), 339-345, 2009.
J. Podroužek, I. Sedlár: Náčrt logiky jednoduchých procesov (An outline of the logic of simple processes, in Slovak). In: P. Sousedík (ed.), Ozvěny Fregovy filosofie, pp. 111-123. Institute of Philosophy of the Slovak Academy of Sciences, 2009.

I. Sedlár: Majú mená prirodzených druhov konotáciu? (Do natural kind terms connote? In Slovak) Filozofia, 63(4), 297-300, 2008.
I. Sedlár: C. I. Lewis a sémantický prístup k modálnej logike (C.I. Lewis and the semantics of modal logic, in Slovak). In: M.Zouhar (Ed.), Jednotliviny, všeobecniny, významy, pp. 173-178. Institute of Philosophy of the Slovak Academy of Sciences, 2008.

I. Sedlár: Kant a Frege o analytickosti (Kant and Frege on analyticity, in Slovak). Filozofia, 62(4), 336-347, 2007.