The following pages link to (Q4413048):
Displaying 13 items.
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- An epistemic model of an agent who does not reflect on reasoning processes (Q1038265) (← links)
- The meaning of the quantifiers in the logic of Lesniewski (Q1144009) (← links)
- Models of noncontradictory formulas and the Ershov hierarchy (Q1393226) (← links)
- A modal sortal logic (Q1876083) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
- (Q4909623) (← links)
- Metainferential duality (Q4994022) (← links)
- On Automorphisms of Polyadic Algebras (Q5519115) (← links)
- The Cut Elimination Theorem in the Unary Second Order Language (Q5553263) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)