lógica modal[Portugais]

nom
1 : a system of logic whose formal properties resemble certain moral and epistemological concepts