Types, Tableaus, and Gödel's God

By M. Fitting. 2002

127 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Experimental and Cognitive Psychology

View Paper: https://www.semanticscholar.org/paper/b64f6b0b19bb87201dda456fe7caf33e6d664560

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Patrick Blackburn
2. Giosuè Baggio

In Experimental and Cognitive Psychology

1. Patrick Blackburn

Citations in the corpus

• Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto (2000, methodology): “By evaluating formulas at sequences of states (as is done in multidimensional modal logic; see Marx and Venema [39]) they have generalized the notion of perspective. and de Rijke [47]) they have shown how to introduce certain forms of globality into modal logic while retaining (and in certain respec”