Higher Order Modal Logic ∗

@inproceedings{MuskensHigherOM,
  title={Higher Order Modal Logic ∗},
  author={Reinhard Muskens}
}
A logic is called higher order if it allows for quantification (and possibly abstraction) over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic (often also called type theory or the Theory of Types) began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14]. While classical… CONTINUE READING
17 Citations
51 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 51 references

Ontological Proof

  • K. Gödel
  • S. Feferman, J.W. Dawson, W. Goldfarb, C. Parsons…
  • 1995
Highly Influential
5 Excerpts

Intensional and Higher-Order Modal Logic

  • D. Gallin
  • North-Holland, Amsterdam
  • 1975
Highly Influential
6 Excerpts

A General Interpreted Modal Calculus

  • A. Bressan
  • Yale University Press, New Haven and London
  • 1972
Highly Influential
4 Excerpts

Language

  • R. A. Muskens
  • Lambdas, and Logic. In Geert-Jan Kruijff and…
  • 2003
Highly Influential
4 Excerpts

Types

  • M. Fitting
  • Tableaus, and Gödels God. Kluwer Academic…
  • 2002
Highly Influential
6 Excerpts

Categorial Grammar and Lexical-Functional Grammar

  • R. A. Muskens
  • Miriam Butt and Tracy Holloway King, editors…
  • 2001
Highly Influential
4 Excerpts

M

  • P. Blackburn
  • de Rijke, and Y. Venema. Modal Logic. Cambridge…
  • 2001
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…