output
20032026
most citedTo Trust or to Think: Cognitive Forcing Functions Can Reduce Overreliance on AI in AI-assisted Decision-making

887 citations

researchers with a paper here
collaborating institutions
Showing 2024 · cs.LOShow all

1 paper · 2 filters

cs.LO2024

Two-dimensional Kripke Semantics I: Presheaves

G. A. Kavvos

The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory…