scientific article; zbMATH DE number 2236612

From MaRDI portal

Publication:5711861

Jump to:navigation, search

zbMath1084.03011MaRDI QIDQ5711861

John Woods, Odinaldo Rodrigues, Dov M. Gabbay

Publication date: 8 December 2005

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

zbMATH Keywords

belief revision linear logic intuitionistic logic resource-bounded logic labeled deductive system anti-formulae N-Prolog object level

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (2)

Eradication ⋮ Introducing Reactive Kripke Semantics and Arc Accessibility

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5711861&oldid=30447219"