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
Unification in modal logic - MaRDI portal

Unification in modal logic

From MaRDI portal

Publication:2284172

Jump to:navigation, search

DOI10.1007/978-3-662-58771-3_1OpenAlexW2912778920MaRDI QIDQ2284172

Philippe Balbiani

Publication date: 14 January 2020

Full work available at URL: https://oatao.univ-toulouse.fr/26169/1/Balbiani_26169.pdf

zbMATH Keywords

modal logics unification problem unification type computability of unification elementary unification unification with constants

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Related Items (1)

Admissibility and unification in the modal logics related to S4.2

This page was built for publication: Unification in modal logic

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