Epistemic logics of intensional groups lift the assumption that membersh...
Weighted programs generalize probabilistic programs and offer a framewor...
Kozen and Tiuryn have introduced the substructural logic 𝖲 for
reasoning...
We develop a framework for epistemic logic that combines relevant modal ...
Kleene algebra with tests, KAT, provides a simple two-sorted algebraic
f...
It is common in various non-classical logics, especially in relevant log...
We study a many-valued generalization of Propositional Dynamic Logic whe...
We extend the epistemic logic with De Morgan negation by Fagin et al. (A...
We study an extension of the Distributive Full Non-associative Lambek
Ca...
We study an extension of the product-free Distributive Full Non-associat...