scientific article; zbMATH DE number 500944

zbMath0800.68847MaRDI QIDQ4279077

Ewa S. Orłowska

Publication date: 21 September 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicreasoningincomplete information

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Peirce algebras ⋮ Logical analysis of demonic nondeterministic programs

This page was built for publication: