doxastic strategy

doxastic strategies (1) belief modalities (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)