Papers

In print

I. Sedlár, M. Pascucci: Hyperintensional Models for Non-congruential Modal Logics. To appear in the Logic Journal of the IGPL.
I. Sedlár, P. Vigiani: Explicit and Implicit Belief in First Degree Entailment With Strict Implication. To appear in: I. Sedlár, S. Standefer, A. Tedder (Eds.): New Directions in Relevant Logic. Springer, 2024.
I. Sedlár: Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness. To appear in Mathematical Structures in Computer Science.

2024

I. Sedlár: Kleene Algebra of Weighted Programs With Domain.
In: N. Gierasimczuk, F.R. Velázquez-Quesada (Eds.): Dynamic Logic. New Trends and Applications (DaLí 2023), pp. 52-67. Lecture Notes in Computer Science, vol 14401. Springer, Cham, 2024.

2023

O. Majer, V. Punčochář., I. Sedlár: Truth-Maker Semantics for Some Substructural Logics.
In: F. Faroldi, F. Van De Putte (Eds.): Kit Fine on Truthmakers, Relevance, and Non-classical Logic, pp. 207-222. Outstanding Contributions to Logic, vol 26. Springer, Cham, 2023.
H. van Ditmarsch, M. Liu, L. Kuijer, I. Sedlár: Almost APAL.
Journal of Logic and Computation, 33(6), 1350-1378, 2023.
I. Sedlár, P. Vigiani: Relevant Reasoning and Implicit Beliefs.
In: H. H. Hansen, A. Scedrov, R. J. de Queiroz (Eds.): Logic, Language, Information, and Computation (WoLLIC 2023), pp. 336–350. Lecture Notes in Computer Science, vol 13923. Springer, Cham, 2023.
M. Bílková, I. Sedlár: Epistemic Logics of Structured Intensional Groups.
In: R. Verbrugge (Ed.): Proc. Ninetheenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford, United Kingdom, 28-30th June 2023, Electronic Proceedings in Theoretical Computer Science 379, pp. 113–130.
I. Sedlár: Kleene Algebra With Tests for Weighted Programs.
In: 53rd IEEE International Symposium on Multiple-Valued Logic (ISMVL), pp. 111-116. IEEE, 2023.
[Full text (extended)]
I. Sedlár: On the Complexity of Kleene Algebra with Domain.
In: R. Glück, L. Santocanale, M. Winter (Eds.) Relational and Algebraic Methods in Computer Science. RAMiCS 2023, pp. 208-223. LNCS 13896. Cham: Springer, 2023.
V. Punčochář, I. Sedlár, A. Tedder: Relevant Epistemic Logic with Public Announcements and Common Knowledge.
Journal of Logic and Computation, 33(2), 436-461, 2023.
I. Sedlár (Ed.): The Logica Yearbook 2022.
London: College Publications, 2023.

2022

I. Sedlár, J. J. Wannenburg: Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests.
In: A. Ciabattoni, E. Pimentel, R. J. G. B. de Queiroz (Eds.): Proc. 28th Int. Conference of Logic, Language, Information, and Computation (WoLLIC 2022), pp. 221-236. LNCS 13468. Springer, 2022.
[Full text]
I. Sedlár, P. Vigiani: Relevant Reasoners in a Classical World.
In: D. Fernández-Duque, A. Palmigiano, S. Pinchinat (Eds.): Proc. 14th Int. Conference on Advances in Modal Logic (AiML 2022), pp. 697-718. College Publications, 2022.
[Full text]
V. Punčochář, I. Sedlár: Routley Star in Information-Based Semantics.
Proc. 10th International Conference on Non-classical Logics: Theory and Applications (NCL 2022). Electronic Proceedings in Theoretical Computer Science, vol. 358, pp. 285-297. 2022.
I. Sedlár: Propositional Dynamic Logic With Quantification Over Regular Computation Sequences.
In: S. Artemov, A. Nerode (Eds.): Proc. International Symposium on Logical Foundations of Computer Science (LFCS 2022), pp. 301-315. Springer, 2022.
[Correction]
I. Sedlár, Johann J. Wannenburg: One-Sorted Program Algebras.
Technical report, 2022.
I. Sedlár (Ed.): The Logica Yearbook 2021.
College Publications, 2022.

2021

L. Estrada-González, A. Giordani, T. Jarmużek, M. Klonowski, I. Sedlár, A. Tedder: Incorporating the Relation into the Language? A Survey of Approaches in Relating Logic.
Logic and Logical Philosophy 30(4), 711-739, 2021.
V. Punčochář, I. Sedlár: Epistemic extensions of substructural inquisitive logics.
Journal of Logic and Computation 31(7), 1820-1844, 2021.
I. Sedlár: Decidability and Complexity of Some Finitely-valued Dynamic Logics.
In: M. Bienvenu, G. Lakemeyer, E. Erdem (Eds.): Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), pp. 570-580, IJCAI Organization, 2021.
V. Punčochář, I. Sedlár: Relevant Epistemic Logic with Public Announcements and Common Knowledge.
In: P. Baroni, C. Benzmüller, Y. N. Wáng (Eds.): Proc. 4th International Conference on Logic and Argumenattion (CLAR 2021). Lecture Notes in Artificial Intelligence, vol 13040, pp. 342-361, Springer, 2021.
[Full text]
I. Sedlár, A. Tedder: Situated Epistemic Updates.
In: S. Ghosh and T. Icard (Eds.): Proc. 8th International Conference on Logic, Rationality and Interaction (LORI-VIII). Lecture Notes in Computer Science, vol 13039, pp. 192-200. Springer, 2021.
[Full text]
I. Sedlár, A. Tedder: Lambek Calculus with conjugates.
Studia Logica 109, 447-470, 2021.
[Correction]
I. Sedlár: Hyperintensional logics for everyone.
Synthese 198, 933-956, 2021.
[Full text]
V. Punčochář, I. Sedlár: Inquisitve propositional dynamic logic.
Journal of Logic, Language and Information 30, 91-116, 2021.
M. Blicha, I. Sedlár (Eds.): The Logica Yearbook 2020.
College Publications, 2021.

2020

H. van Ditmarsch, M. Liu, L. B. Kuijer, I. Sedlár: Expressivity of some versions of APAL.
In: Manuel A. Martins and Igor Sedlár (Eds.), Dynamic Logic: New Trends and Applications (DaLí 2020). LNCS 12569, Springer, 2020.
I. Sedlár: Finitely-valued propositional dynamic logics.
In: Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu (Eds.), Advances in Modal Logic 13, pp. 561-579. College Publications, 2020.
[Full text]
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 (DaLí 2019)., pp. 141-154. Lecture Notes in Computer Science 12005, Springer, 2020.
[Full text]
M. A. Martins, I. Sedlár (Eds.): Dynamic Logic. New Trends and Applications. Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers.
Volume 12569 of Lecture Notes in Computer Science. Springer, 2020.
M. Blicha and I. Sedlár (Eds.): The Logica Yearbook 2019.
College Publications, 2020.

2019

I. Sedlár, K. Šebela: Term negation in first-order logic.
Logique et Analyse, 247, 265-284, 2019.
[Full text]
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, pp. 293-310. Synthese Library Seres, vol. 418. Springer, 2019.
[Full text]
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 (LORI-VII), pp. 273-285. Lecture Notes in Computer Science 11813, Springer, 2019.
[Full text]
V. Punčochář, I. Sedlár: From positive PDL to its non-classical extensions.
Logic Journal of the IGPL, 27(4), 522-542, 2019.
[Full text]
I. Sedlár: Substructural propositional dynamic logics.
In: R. De Queiroz, R. Iemhoff, M. Moortgat (Eds.): Logic, Language, Information, and Computation (WoLLIC 2019), pp. 594-609. Lecture Notes in Computer Science 11541, Springer, 2019.
[Full text]
M. Blicha and I. Sedlár (Eds.): The Logica Yearbook 2018.
College Publications, 2019.

2017

V. Punčochář, I. Sedlár: Substructural logics for pooling information.
In: A. Baltag, J. Seligman and T. Yamada (Eds.): Logic, Rationality, and Interaction (LORI-VI), pp. 407-241. Lecture Notes in Computer Science 10455, Springer, 2017.
[Full text]
I. Sedlár: Substructural logics with a reflexive transitive closure modality.
In: J. Kennedy and R. de Queiroz (Eds.): Logic, Language, Information, and Computation (WoLLIC 2017), pp. 349-357. Lecture Notes in Computer Science 10388, Springer, 2017.
[Full text]
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.

2016

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 11, pp. 503-519. College Publications, 2016.

2015

I. Sedlár: Substructural epistemic logics.
Journal of Applied Non-Classical Logics, 25, 256-285, 2015.
[Full text]
I. Sedlár: The semantics of empirical unverifiability.
Organon F, 22, 358-377, 2015.
[Full text]
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.

2014

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 (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.

2013

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 (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 (LFCS 2013), pp. 307-318. Lecture Notes in Computer Science 7734, Springer, 2013.

2012

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(suppl. 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.

2011

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.

2010

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.

2009

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.

2008

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.

2007

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