Sedlár, Igor
- Kleene Algebra with Dynamic Tests: Completeness and Complexity
2023/11/12 by Igor Sedlár, Sedlár, Igor · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Propositional dynamic logic with Belnapian truth values
2016/08/22 by Igor Sedlár, Sedlár, Igor · 1 citation
Computer Science · #Advanced Algebra and Logic #F.3.1 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
- Kleene Algebra With Tests for Weighted Programs
2023/03/01 by Sedlár, Igor · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)