Analysis of Fast Unification: An Exercise in Applied Logic

In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 159 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Parikh Provability: An Exercise in Modal Logic.Per Lindstrom - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--287.
Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg.Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.) - 2006 - Uppsala Philosophical Studies 53.
Modal Logic and Possible Worlds.Rohit Parikh - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--339.
Intending and Imagining.Frederick Kroon - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--247.
Right actions in perspective.John Horty - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53.
Natural Necessity.Lars-Göran Johansson - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 221-229.
The Sinking of Davidson's Ships.Ghita Holmstrom-Hintikka - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--191.
Bressan's type-theoretical combination of quantification and modality.Nuel Belnap - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--31.
A New Modal Lindstrom Theorem.Finite Depth Property - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 55.
Analyticity: An unfinished business in possibleworld semantics.Wladimircz Rabinowicz - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 345--57.

Analytics

Added to PP
2014-01-28

Downloads
17 (#1,150,890)

6 months
17 (#173,529)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Computability of Recursive Functions.J. C. Shepherdson & H. E. Sturgis - 1967 - Journal of Symbolic Logic 32 (1):122-123.
Logical Foundations of Artificial Intelligence.Michael R. Genesereth & Nils J. Nilsson - 1990 - Journal of Symbolic Logic 55 (3):1304-1307.
Applied logic.Kaj Børge Hansen - 1996 - Uppsala: AUU.
Logic for Applications.Anil Nerode & Richard A. Shore - 2000 - Studia Logica 64 (1):134-136.

View all 6 references / Add more references