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

scientific article; zbMATH DE number 1140671

From MaRDI portal

Publication:4385436

Jump to:navigation, search

zbMath0902.03009MaRDI QIDQ4385436

Alessandra Russo

Publication date: 10 December 1998

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

zbMATH Keywords

propositional modal logics natural deduction system labelled deductive systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract deductive systems (03B22)

Related Items (2)

Free variable tableaux for propositional modal logics ⋮ Labelling ideality and subideality

This page was built for publication:

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