The following pages link to Melvin Fitting (Q229752):
Displaying 19 items.
- What Are Justification Logics? (Q5377318) (← links)
- (Q5404055) (← links)
- Realizations and LP (Q5434508) (← links)
- (Q5465438) (← links)
- Logics With Several Modal Operators (Q5582312) (← links)
- (Q5582318) (← links)
- (Q5605214) (← links)
- An embedding of classical logic in S4 (Q5623657) (← links)
- (Q5643954) (← links)
- Non‐classical logics and the independence results of set theory (Q5668482) (← links)
- A Modal Logic Analog of Smullyan's Fundamental Theorem (Q5672869) (← links)
- (Q5869719) (← links)
- (Q5883174) (← links)
- (Q5883179) (← links)
- Term-modal logics (Q5955624) (← links)
- First-order modal logic (Q6535436) (← links)
- Tableaus and dual Tableaus (Q6599611) (← links)
- \textit{De re}, \textit{de dicto}, and binding modalities (Q6601768) (← links)
- Saul Kripke (1940--2022) (Q6670885) (← links)