WordNet: modaalilogiikka

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

• hypernym formaalinen logiikka, matemaattinen logiikka, symbolinen logiikka

• hyponym aleettinen logiikka

• hyponym deonttinen logiikka

• hyponym episteeminen logiikka

• hyponym doksastinen logiikka

modaalilogiikka

• (englanti) modal logic (synonyymi)