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

scientific article

From MaRDI portal

Publication:3035258

Jump to:navigation, search

zbMath0693.03011MaRDI QIDQ3035258

Ewa S. Orłowska

Publication date: 1988

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

zbMATH Keywords

translation semantics extension operator syntax computer implementations syntactic categories abstractor over possible worlds extension of Russell's theory of types extensions of Montague logic intension operator Intensional Logic Montague fragment of English natural language phrases

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Related Items (3)

Dual tableau-based decision procedures for relational logics with restricted composition operator ⋮ An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning ⋮ Relational dual tableaux for interval temporal logics ★

This page was built for publication:

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