research
∙
07/11/2023
Epistemic Logics of Structured Intensional Groups
Epistemic logics of intensional groups lift the assumption that membersh...
share
research
∙
03/01/2023
Kleene Algebra With Tests for Weighted Programs
Weighted programs generalize probabilistic programs and offer a framewor...
research
∙
09/21/2022
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
Kozen and Tiuryn have introduced the substructural logic 𝖲 for reasoning...
research
∙
06/07/2022
Relevant Reasoners in a Classical World
We develop a framework for epistemic logic that combines relevant modal ...
research
∙
05/06/2022
One-sorted Program Algebras
Kleene algebra with tests, KAT, provides a simple two-sorted algebraic f...
research
∙
04/14/2022
Routley Star in Information-Based Semantics
It is common in various non-classical logics, especially in relevant log...
research
∙
12/22/2020
Finitely-valued propositional dynamic logic
We study a many-valued generalization of Propositional Dynamic Logic whe...
research
∙
09/25/2019
First Degree Entailment with Group Attitudes and Information Updates
We extend the epistemic logic with De Morgan negation by Fagin et al. (A...
research
∙
09/25/2019
Iterative division in the Distributive Full Non-associative Lambek Calculus
We study an extension of the Distributive Full Non-associative Lambek Ca...
research
∙
09/25/2019
