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
A tableau method for graded intersections of modalities: A case for concept languages - MaRDI portal

A tableau method for graded intersections of modalities: A case for concept languages

From MaRDI portal

Publication:5960008

Jump to:navigation, search

DOI10.1023/A:1013097911573zbMath0990.03007OpenAlexW1581354348MaRDI QIDQ5960008

Ani Nenkova

Publication date: 11 April 2002

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1013097911573

zbMATH Keywords

modal logic proof theory axiomatization concept language graded modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)

This page was built for publication: A tableau method for graded intersections of modalities: A case for concept languages

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