3 citations · 3 across the 3 of their papers we have counts for
4 papers
Modal Extensions of Generalised Nelson Logics
Igor Sedlár, Pietro Vigiani
Motivated by relevant epistemic logic, we extend Dunn's simple Kripke-style binary relational semantics for the semi-relevant logic RM to fit a modal extension of RM. It is shown t…
Kleene Algebra With Tests for Weighted Programs
Igor Sedlár
Weighted programs generalize probabilistic programs and offer a framework for specifying and encoding mathematical models by means of an algorithmic representation. Kleene algebra…
Relevant Reasoners in a Classical World
Igor Sedlár, Pietro Vigiani
We develop a framework for epistemic logic that combines relevant modal logic with classical propositional logic. In our framework the agent is modeled as reasoning in accordance w…
One-sorted Program Algebras
Igor Sedlár, Johann J. Wannenburg
Kleene algebra with tests, KAT, provides a simple two-sorted algebraic framework for verifying properties of propositional while programs. Kleene algebra with domain, KAD, is a one…