Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 1950263 - MaRDI portal

scientific article; zbMATH DE number 1950263

From MaRDI portal

Publication:4412861

Jump to:navigation, search

zbMath1016.03017MaRDI QIDQ4412861

Linh Anh Nguyen

Publication date: 17 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2381/23810206.htm

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

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items (1)

A general tableau method for propositional interval temporal logics: theory and implementation

This page was built for publication:

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