Temporal logic: from ancient ideas to artificial intelligence/

Main Author:	Ohrstrom, Peter
Other Authors:	Hasle, Per F. V.
Format:	Book
Language:	English
Published:	Dordrecht ; Boston: Kluwer Academic Publishers, c1995
Series:	Studies in linguistics and philosophy 57
Subjects:	Tense (Logic) Logic, Symbolic and mathematical

Similar Items

Temporal logic : from ancient ideas to artificial intelligence /
by: OHRSTROM, Peter
Published: (1995)

Temporal logic: from ancient ideas to artificial intelligence/
by: OHRSTROM, Peter
Published: (1995)

The logic of provability /
by: Boolos, George S.
Published: (1993)

Temporal logic/
by: Rescher, Nicholas
Published: (1971)

The logic of concept expansion
by: Buzaglo, Meir, 1959-
Published: (2002)

Essays on non-classical logic
Published: (2001)

Uncertainty treatment using paraconsistent logic introducing paraconsistent artificial neural networks /
Published: (2010)

Tense and tense logic/
by: Clifford, John Edward, 1936-
Published: (1975)

Tense logic/
by: McArthur, Robert
Published: (1976)

Modal logics and philosophy
by: Girle, Rod.
Published: (2009)

On the logic of ordinary conditionals /
by: McLaughlin, Robert N., 1928-
Published: (1990)

Modal logic an introduction to its syntax and semantics /
by: Cocchiarella, Nino B.
Published: (2008)

Modal logic: an introduction to its syntax and semantics/
by: Cocchiarella, Nino B.
Published: (2008)

First-order modal logic/
by: Fitting, Melvin, 1942-
Published: (1998)

A pragmatic logic for commands
by: Adler, Melvin Joseph.
Published: (1980)

Modal logics and philosophy/
by: Girle, Rod
Published: (2000)

The logic of concept expansion/
by: Buzaglo, Meir, 1959-
Published: (2002)

Referential opacity and modal logic/
by: Follesdal, Dagfinn
Published: (2004)

A new introduction to modal logic/
by: Hughes, G. E., 1918-George Edward
Published: (1996)

A short introduction to modal logic/
by: Mints, G. E.
Published: (1992)

A new introduction to modal logic
by: Hughes, G. E. 1918-
Published: (1996)

The logic of time: : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse/
by: Benthem, Johan F. Van
Published: (1991)

The logic of provability/
by: Boole, George, 1815-1864
Published: (1993)

Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)

Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987)

Modal logic as metaphysics /
by: Williamson, Timothy

Advances in modal logic/
Published: (1998)

Logic: an introductory course/
by: Newton-Smith, W. H.
Published: (1985)

Sortals and the subject-predicate distinction/
by: Durrant, Michael
Published: (2001)

Formal logic/
by: Lorenzen, Paul, 1915-1994
Published: (1965)

Zur Lehre von der Definition/
by: Rickert, Heinrich, 1863-1936
Published: (1929)

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

Handbook of logic in artificial intelligence and logic programming /
Published: (1996)

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1981)

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

Advances in linear logic /
Published: (1995)

Ω-Bibliography of mathematical logic/
Published: (1987)

The logical problem of induction/
by: Wright, G. H. von 1916-
Published: (1957)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Cannot write session to /tmp/vufind_sessions/sess_l6ujlhsbr7flvto2jkfd9brav0