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 6867709 - MaRDI portal

scientific article; zbMATH DE number 6867709

From MaRDI portal

Publication:4639651

Jump to:navigation, search

zbMath1387.03015MaRDI QIDQ4639651

Haroldas Giedra, Jurate Saskalauskaite, R. Alonderis

Publication date: 11 May 2018

Full work available at URL: https://content.iospress.com/articles/informatica/inf1040

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

zbMATH Keywords

sequent calculus decidability proof system decision procedure logic of correlated knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Applications of logic of correlated knowledge to quantum mechanics

This page was built for publication:

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