The following pages link to Melvin Fitting (Q229752):
Displayed 50 items.
- (Q3511020) (← links)
- Reasoning with Justifications (Q3600565) (← links)
- (Q3604278) (← links)
- A kripke-kleene semantics for logic programs* (Q3718131) (← links)
- A deterministic prolog fixpoint semantics (Q3721797) (← links)
- Linear reasoning in modal logic (Q3724299) (← links)
- Enumeration operators and modular logic programming (Q3747701) (← links)
- (Q3792274) (← links)
- Postmodernism and the Reclaiming of Tradition (Q3932300) (← links)
- Bilattices and the semantics of logic programming (Q3983121) (← links)
- Kleene's Logic, Generalized (Q3988058) (← links)
- (Q3989936) (← links)
- (Q3996619) (← links)
- The Pure Logic of Necessitation (Q4018168) (← links)
- (Q4022223) (← links)
- Elementary Formal Systems for Hyperarithmetical Relations (Q4152528) (← links)
- (Q4217947) (← links)
- (Q4250033) (← links)
- The family of stable models (Q4275258) (← links)
- (Q4296301) (← links)
- Metric Methods Three Examples and a Theorem (Q4318871) (← links)
- (Q4332417) (← links)
- (Q4340909) (← links)
- lean TAP revisited (Q4399512) (← links)
- (Q4430411) (← links)
- (Q4437809) (← links)
- (Q4463930) (← links)
- (Q4503900) (← links)
- Barcan Both Ways (Q4531581) (← links)
- On Modalities and Quantifiers (Q4604556) (← links)
- (Q4720780) (← links)
- (Q4745814) (← links)
- Model existence theorems for modal and intuitionistic logics (Q4774043) (← links)
- Modal Logics Between Propositional and First-order (Q4796461) (← links)
- (Q4817193) (← links)
- (Q4863622) (← links)
- (Q4918406) (← links)
- (Q4934143) (← links)
- (Q4942001) (← links)
- Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics (Q4999184) (← links)
- The Strict/Tolerant Idea and Bilattices (Q5020168) (← links)
- Strict/Tolerant Family Continued: Quantifiers and Modalities (Q5021990) (← links)
- Annotated revision specification programs (Q5101447) (← links)
- (Q5104694) (← links)
- First-order justification logic with constant domain semantics (Q5108022) (← links)
- (Q5119555) (← links)
- Destructive Modal Resolution (Q5202172) (← links)
- (Q5202634) (← links)
- The Realization Theorem for S5 A Simple, Constructive Proof (Q5261292) (← links)
- Justification Logic (Q5376691) (← links)