\(\in_K\): a non-Fregean logic of explicit knowledge
type: Item
instance of: scholarly article
title: \(\in_K\): a non-Fregean logic of explicit knowledge
zbMATH Open document ID: 1231.03016
author: Steffen Lewitzka
published in: Studia Logica
publication date: 2011-03-31T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 5872589
zbMATH Keywords: epistemic logic
zbMATH Keywords: non-Fregean logic
zbMATH Keywords: logical omniscience
zbMATH Keywords: explicit knowledge
zbMATH Keywords: classical abstract logic
zbMATH Keywords: self-reference
zbMATH Keywords: epistemic paradox
zbMATH Keywords: liar paradox
MaRDI profile type: Publication
full work available at URL: s11225-011-9304-8
OpenAlex ID: W286019678
cites work: Q3993251
cites work: Q4078024
cites work: Q4078023
cites work: Q4845472
cites work: Abstract logics, logic maps, and logic homomorphisms
cites work: \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
cites work: Minimally generated abstract logics
cites work: Q4858037
cites work: Q5641129
cites work: Q4065517
cites work: The Fregean axiom and Polish mathematical logic in the \(1920^s\)
cites work: A general possible worlds framework for reasoning about knowledge and belief
cites work: Parametrized \(\in_{T}\)-logic. A theory of the extension of abstract logics concerning the concepts of truth, reference and classical negation
DOI: 10.1007/S11225-011-9304-8
description: scientific article; zbMATH DE number 5872589