The following pages link to (Q4355889):
Displaying 17 items.
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- Why conclusions should remain single (Q543530) (← links)
- Confronting ideals of proof with the ways of proving of the research mathematician (Q603906) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Variable declarations in natural deduction (Q861825) (← links)
- A binary quantifier for definite descriptions for cut free free logics (Q2115288) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Proof-theory and semantics for a theory of definite descriptions (Q2142067) (← links)
- Impossible worlds and logical omniscience: an impossibility result (Q2443295) (← links)
- A brief history of negation (Q2638193) (← links)
- On ground and consequence (Q2695185) (← links)
- Dynamic Epistemic Logic and Logical Omniscience (Q2987746) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation (Q5241405) (← links)
- Are currency devaluations effective? A panel unit root test (Q5941115) (← links)
