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
Tableau-based translation from first-order logic to modal logic - MaRDI portal

Tableau-based translation from first-order logic to modal logic

From MaRDI portal

Publication:5025700

Jump to:navigation, search

DOI10.4467/20842589RM.21.006.14375OpenAlexW3116138342MaRDI QIDQ5025700

Tin Perkov, Luka Mikec

Publication date: 2 February 2022

Full work available at URL: https://www.ejournals.eu/rml/2021/Number-56/art/20104/

zbMATH Keywords

modal logic tableaux bisimulation invariance

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Tableau-based translation from first-order logic to modal logic

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