La lógica de las creencias se llama lógica doxástica.