conftrace_

doxastic strategies

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

belief modalities (1) doxastic strategy (1) logical system (1) doxastic logic (1) belief modality (1) formal logic (1) modal logic (1) strategic reasoning (1) formal verification (1) automated reasoning (1)

Papers

The Logic of Doxastic Strategies AAAI 2024