Epistemic semantics for classical and intuitionistic logic

From MaRDI portal

Publication:2266707

Jump to:navigation, search

DOI10.1305/ndjfl/1093870571zbMath0562.03005OpenAlexW2094027831MaRDI QIDQ2266707

John N. Martin

Publication date: 1984

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

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

zbMATH Keywords

propositional logic intuitionistic logic entailment classical logic supervaluations three-valued matrix Beth's semantics epistemic semantics

Mathematics Subject Classification ID

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

This page was built for publication: Epistemic semantics for classical and intuitionistic logic

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