The following pages link to Melvin Fitting (Q229752):
Displayed 50 items.
- Modal logics, justification logics, and realization (Q286591) (← links)
- The life and work of Sergei Artemov (Q392268) (← links)
- Possible world semantics for first-order logic of proofs (Q392284) (← links)
- Prefixed tableaus and nested sequents (Q409323) (← links)
- Modal interpolation via nested sequents (Q487689) (← links)
- First-order intensional logic (Q598308) (← links)
- Justification logics and hybrid logics (Q631081) (← links)
- Realizations and LP (Q636276) (← links)
- Reasoning about games (Q647418) (← links)
- The logic of proofs, semantically (Q703832) (← links)
- A family of strict/tolerant logics (Q830368) (← links)
- FOIL axiomatized (Q865042) (← links)
- How true it is = who says it's true (Q1015490) (← links)
- Justification logics, logics of knowledge, and conservativity (Q1028642) (← links)
- Proof methods for modal and intuitionistic logics (Q1056744) (← links)
- Notes on the mathematical aspects of Kripke's theory of truth (Q1073007) (← links)
- Fundamentals of generalized recursion theory (Q1078561) (← links)
- Partial models and logic programming (Q1094151) (← links)
- First-order modal tableaux (Q1104913) (← links)
- Pseudo-Boolean valued Prolog (Q1117705) (← links)
- Bilattices and the theory of truth (Q1123891) (← links)
- A tableau system for propositional S5 (Q1220492) (← links)
- Subformula results in some propositional modal logics (Q1253651) (← links)
- A simple propositional \(\text{S}5\) tableau system (Q1295438) (← links)
- A theory of truth that prefers falsehood (Q1366760) (← links)
- Types, tableaus, and Gödel's God (Q1406610) (← links)
- Fixpoint semantics for logic programming a survey (Q1605173) (← links)
- Paraconsistent logic, evidence, and justification (Q1685567) (← links)
- First-order modal logic (Q1870904) (← links)
- Tableaus for many-valued modal logic (Q1896755) (← links)
- Quasi-realization (Q2284501) (← links)
- A symmetric approach to axiomatizing quantifiers and modalities (Q2325549) (← links)
- Nested sequents for intuitionistic logics (Q2443118) (← links)
- A quantified logic of evidence (Q2478547) (← links)
- A tableau proof method admitting the empty domain (Q2534164) (← links)
- Tableau methods of proof for modal logics (Q2535854) (← links)
- \(\epsilon\)-calculus based axiom systems for some propositional modal logics (Q2538517) (← links)
- A modal logic \(\varepsilon\)-calculus (Q2548954) (← links)
- (Q2721181) (← links)
- (Q2721198) (← links)
- (Q2753596) (← links)
- (Q2757807) (← links)
- (Q2767043) (← links)
- Realization using the model existence theorem (Q2804327) (← links)
- (Q3007262) (← links)
- Interpolation for first order S5 (Q3149986) (← links)
- (Q3204031) (← links)
- On Height and Happiness (Q3299847) (← links)
- (Q3477992) (← links)
- S4LP and Local Realizability (Q3503636) (← links)