activity
20192026
most citedOn the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics

12 citations · 68 across the 25 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026★ 4 cited

The Varieties of Ought-Implies-Can and Deontic STIT Logic

Kees van Berkel, Tim S. Lyon

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a…