Pages that link to "Item:Q4914001"
From MaRDI portal
The following pages link to Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate (Q4914001):
Displaying 4 items.
- \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity (Q1049690) (← links)
- Reasoning about proof and knowledge (Q1625594) (← links)
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968) (← links)
- Some remarks on semantics and expressiveness of the sentential calculus with identity (Q6169324) (← links)