A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (Q4221295)
From MaRDI portal
scientific article; zbMATH DE number 1234513
Language | Label | Description | Also known as |
---|---|---|---|
English | A modal extension of logic programming: modularity, beliefs and hypothetical reasoning |
scientific article; zbMATH DE number 1234513 |
Statements
A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (English)
0 references
3 January 1999
0 references
universal modal operators
0 references
embedded implications
0 references
structuring knowledge
0 references