default search action
Igor Sedlár
Person information
- affiliation: Czech Academy of Sciences, Prague, Czech Republic
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]Igor Sedlár, Pietro Vigiani:
Epistemic Logics for Relevant Reasoners. J. Philos. Log. 53(5): 1383-1411 (2024) - [c23]Igor Sedlár:
Completeness of Finitely Weighted Kleene Algebra with Tests. WoLLIC 2024: 210-224 - [e2]Agata Ciabattoni, David Gabelaia, Igor Sedlár:
Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024. College Publications 2024, ISBN 978-1-84890-467-5 [contents] - [i10]Igor Sedlár:
Completeness of Finitely Weighted Kleene Algebra With Tests. CoRR abs/2407.07570 (2024) - 2023
- [j11]Vít Puncochár, Igor Sedlár, Andrew Tedder:
Relevant epistemic logic with public announcements and common knowledge. J. Log. Comput. 33(2): 436-461 (2023) - [j10]Manuel A. Martins, Igor Sedlár:
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). J. Log. Comput. 33(6): 1119-1121 (2023) - [j9]Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár:
Almost APAL. J. Log. Comput. 33(6): 1350-1378 (2023) - [c22]Igor Sedlár:
On the Complexity of Kleene Algebra with Domain. RAMiCS 2023: 208-223 - [c21]Igor Sedlár:
Kleene Algebra of Weighted Programs with Domain. DaLí 2023: 52-67 - [c20]Igor Sedlár:
Kleene Algebra With Tests for Weighted Programs. ISMVL 2023: 111-116 - [c19]Igor Sedlár, Pietro Vigiani:
Relevant Reasoning and Implicit Beliefs. WoLLIC 2023: 336-350 - [c18]Marta Bílková, Igor Sedlár:
Epistemic Logics of Structured Intensional Groups. TARK 2023: 113-130 - [i9]Igor Sedlár:
Kleene Algebra With Tests for Weighted Programs. CoRR abs/2303.00322 (2023) - [i8]Igor Sedlár:
Kleene Algebra with Dynamic Tests: Completeness and Complexity. CoRR abs/2311.06937 (2023) - 2022
- [c17]Igor Sedlár, Pietro Vigiani:
Relevant Reasoners in a Classical World. AiML 2022: 697-717 - [c16]Igor Sedlár:
Propositional Dynamic Logic with Quantification over Regular Computation Sequences. LFCS 2022: 301-315 - [c15]Igor Sedlár, Johann J. Wannenburg:
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. WoLLIC 2022: 221-236 - [c14]Vít Puncochár, Igor Sedlár:
Routley Star in Information-Based Semantics. NCL 2022: 285-297 - [i7]Igor Sedlár, Johann J. Wannenburg:
One-sorted Program Algebras. CoRR abs/2205.03311 (2022) - [i6]Igor Sedlár, Pietro Vigiani:
Relevant Reasoners in a Classical World. CoRR abs/2206.03109 (2022) - [i5]Igor Sedlár, Johann J. Wannenburg:
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. CoRR abs/2209.10610 (2022) - 2021
- [j8]Vít Puncochár, Igor Sedlár:
Inquisitive Propositional Dynamic Logic. J. Log. Lang. Inf. 30(1): 91-116 (2021) - [j7]Vít Puncochár, Igor Sedlár:
Epistemic extensions of substructural inquisitive logics. J. Log. Comput. 31(7): 1820-1844 (2021) - [j6]Igor Sedlár, Andrew Tedder:
Lambek Calculus with Conjugates. Stud Logica 109(3): 447-470 (2021) - [j5]Igor Sedlár, Andrew Tedder:
Correction to: Lambek Calculus with Conjugates. Stud Logica 109(3): 471 (2021) - [j4]Igor Sedlár:
Hyperintensional logics for everyone. Synth. 198(2): 933-956 (2021) - [c13]Vít Puncochár, Igor Sedlár:
Relevant Epistemic Logic with Public Announcements and Common Knowledge. CLAR 2021: 342-361 - [c12]Igor Sedlár:
Decidability and Complexity of Some Finitely-valued Dynamic Logics. KR 2021: 570-580 - [c11]Igor Sedlár, Andrew Tedder:
Situated Epistemic Updates. LORI 2021: 192-200 - 2020
- [c10]Igor Sedlár:
Finitely-Valued Propositional Dynamic Logic. AiML 2020: 561-579 - [c9]Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár:
Expressivity of Some Versions of APAL. DaLí 2020: 120-136 - [e1]Manuel A. Martins, Igor Sedlár:
Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12569, Springer 2020, ISBN 978-3-030-65839-7 [contents] - [i4]Igor Sedlár:
Finitely-valued propositional dynamic logic. CoRR abs/2012.12133 (2020)
2010 – 2019
- 2019
- [j3]Igor Sedlár, Vít Puncochár:
From positive PDL to its non-classical extensions. Log. J. IGPL 27(4): 522-542 (2019) - [c8]Igor Sedlár, Vít Puncochár, Andrew Tedder:
First Degree Entailment with Group Attitudes and Information Updates. LORI 2019: 273-285 - [c7]Igor Sedlár:
Iterative Division in the Distributive Full Non-associative Lambek Calculus. DaLí 2019: 141-154 - [c6]Igor Sedlár:
Substructural Propositional Dynamic Logics. WoLLIC 2019: 594-609 - [i3]Igor Sedlár:
Iterative division in the product-free Distributive Full Non-associative Lambek Calculus. CoRR abs/1909.11350 (2019) - [i2]Igor Sedlár, Vít Puncochár, Andrew Tedder:
First Degree Entailment with Group Attitudes and Information Updates. CoRR abs/1909.11363 (2019) - 2017
- [c5]Vít Puncochár, Igor Sedlár:
Substructural Logics for Pooling Information. LORI 2017: 407-421 - [c4]Igor Sedlár:
Substructural Logics with a Reflexive Transitive Closure Modality. WoLLIC 2017: 349-357 - 2016
- [j2]Igor Sedlár:
Epistemic extensions of modal distributive substructural logics. J. Log. Comput. 26(6): 1787-1813 (2016) - [c3]Igor Sedlár:
Propositional dynamic logic with Belnapian truth values. Advances in Modal Logic 2016: 503-519 - [i1]Igor Sedlár:
Propositional dynamic logic with Belnapian truth values. CoRR abs/1608.06084 (2016) - 2015
- [j1]Igor Sedlár:
Substructural epistemic logics. J. Appl. Non Class. Logics 25(3): 256-285 (2015) - 2013
- [c2]Igor Sedlár:
Justifications, Awareness and Epistemic Dynamics. LFCS 2013: 307-318 - [c1]Igor Sedlár:
Information, Awareness and Substructural Logics. WoLLIC 2013: 266-281
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint