Pages that link to "Item:Q633160"

The following pages link to \(\in_K\): a non-Fregean logic of explicit knowledge (Q633160):

Displayed 4 items.

• Reasoning about proof and knowledge (Q1625594) ‎ (← links)
• Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) ‎ (← links)
• Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968) ‎ (← links)
• A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) ‎ (← links)