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
The logic of free acts and the powers of God - MaRDI portal

The logic of free acts and the powers of God

From MaRDI portal

Publication:1081597

Jump to:navigation, search

DOI10.1305/NDJFL/1093636520zbMath0602.03001OpenAlexW2014068727MaRDI QIDQ1081597

Peter Forrest

Publication date: 1986

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636520

zbMATH Keywords

decision procedure formalization of the logic of free acts philosophical theology reduction to S5

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication: The logic of free acts and the powers of God

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