M. Fitting

Annals of Pure and Applied Logic · 2002–2005

A researcher in the Science corpus: 2 papers; trusts 0 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Who trusts M. Fitting overall

1. Patrick Blackburn

Papers from M. Fitting's perspective

Ordered by how strongly the researchers M. Fitting trusts endorse each paper. Same corpus, a different order for every researcher.

1. Automated Reasoning with Analytic Tableaux and Related Methods (Lecture Notes in Computer Science)
2. Explicit provability and constructive semantics (Bulletin of Symbolic Logic)
3. Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Their papers

• The logic of proofs, semantically (2005) — 303 citations
• Types, Tableaus, and Gödel's God (2002) — 127 citations