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 Modal Logic of a Truth Definition for Finite Models* - MaRDI portal

A Modal Logic of a Truth Definition for Finite Models*

From MaRDI portal

Publication:5377337

Jump to:navigation, search

DOI10.3233/FI-2019-1770zbMath1435.03042MaRDI QIDQ5377337

Marek Czarnecki, Konrad Zdanowski

Publication date: 24 May 2019

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

modal logic finite models truth definition

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Models of arithmetic and set theory (03C62)

Related Items (2)

Designing paradoxes: a revision-theoretic approach ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH

This page was built for publication: A Modal Logic of a Truth Definition for Finite Models*

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