belief modalities

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