Listing 1 - 9 of 9 |
Sort by
|
Choose an application
Temps (logique) --- Matiere --- Structure --- Structure --- Temps (logique) --- Matiere --- Structure --- Structure
Choose an application
This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which made Prior's writings difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book.
Mathematical logic --- Modality (Logic) --- Tense (Logic) --- Modalité (Logique) --- Temps (Logique) --- Modality (Logic). --- Tense (Logic). --- Modalité (Logique)
Choose an application
Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Temps (Logique) --- Artificial intelligence --- Linguistic --- Tense Logic Intervals --- Time --- Temporal Logic
Choose an application
Ontology --- Grammar, Comparative and general --- Tense (Logic) --- Time --- Ontologie --- Temps (Linguistique) --- Temps (Logique) --- Temps --- Tense --- Time. --- Ontology. --- Tense (Grammar)
Choose an application
Logic [Tense ] --- Temps --- Temps (Logique) --- Tense (Logic) --- Tijd --- Tijd (Logica) --- Time --- Hours (Time) --- Geodetic astronomy --- Nautical astronomy --- Horology --- Logic, Tense --- Grammar, Comparative and general --- Logic --- Tense
Choose an application
Since the 1970s Kit Fine has been one of the leading contributors to work at the intersection of logic and metaphysics. This is his eagerly-awaited first book in the area. It draws together a series of essays, three of them previously unpublished, on possibility, necessity, and tense. These puzzling aspects of the way the world is have been the focus of considerable philosophical attention in recent decades. A helpful introduction orients the reader and offers a way into some of the most original work in contemporary philosophy.
Tense (Logic) --- Modalité (Logique) --- Temps (Logique) --- Tense and modality (Linguistics) --- Tense (Logic). --- Tense and modality (Linguistics). --- Modalité (Logique) --- Logic --- Philosophy of language --- Metaphysics --- Modality (Logic) --- Modality (Linguistics). --- Modality (Logic). --- Modality (Linguistics) --- Modalité (Linguistique)
Choose an application
Now available in paperback, this is a modern, advanced textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.
Modality (Logic). --- Modality (Logic) --- Lógica modal. --- Lógica matemática. --- Modalité (Logique) --- Mathematical logic --- Logique générale --- Modalité (logique) --- Complexité de calcul (informatique) --- Frames (théorie de l'information) --- Temps (logique) --- Logique modale
Choose an application
Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.
Logic, Symbolic and mathematical. --- Tense (Logic). --- Time. --- Tense (Logic) --- Logic [Symbolic and mathematical ] --- Logic [Tense ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Temps --- Temps (Logique) --- Tijd --- Tijd (Logica) --- Time --- Logic --- Philosophy of nature --- Logic, Symbolic and mathematical --- Hours (Time) --- Geodetic astronomy --- Nautical astronomy --- Horology --- Logic, Tense --- Grammar, Comparative and general --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Tense --- Logic, Symbolical and mathematical --- Artificial intelligence --- Logique symbolique et mathématique --- Logique --- Intelligence artificielle --- History --- Histoire --- Philosophy. --- Logic. --- Philosophy and science. --- Computer science. --- Linguistics. --- Computer Science, general. --- Theoretical Linguistics. --- Philosophy of Science. --- History. --- Science
Choose an application
Predicate calculus --- Tense (Logic) --- Calcul des prédicats --- Temps (Logique) --- Logic, Tense --- Calculus, Predicate --- Quantification theory --- Predicate calculus. --- Tense (Logic). --- Calcul des prédicats --- Grammar, Comparative and general --- Languages --- -Pragmatics --- Semantics --- 801.56 --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Pragmalinguistics --- Comparative grammar --- Grammar --- Grammar, Philosophical --- Grammar, Universal --- Language and languages --- Philosophical grammar --- Foreign languages --- 801.56 Syntaxis. Semantiek --- Syntaxis. Semantiek --- Philosophy --- Grammar, Comparative --- Logic --- Time --- Comparative linguistics --- Information theory --- Lexicology --- Meaning (Psychology) --- Logic, Symbolic and mathematical --- General semantics --- Semantics (Philosophy) --- Linguistics --- Philology --- Anthropology --- Communication --- Ethnology --- Tense --- Lexicology. Semantics --- Pragmatics --- Grammar, Comparative and general. --- Pragmatics. --- Langage et langues --- Sémantique --- Pragmatique --- Grammaire comparée et générale --- Philosophie
Listing 1 - 9 of 9 |
Sort by
|