Advances in Intensional Logic

Häftad, Engelska, 2010

2 079 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book identifies important recent developments in intensional logic, a branch of logic with applications in linguistics, cognitive science, artificial intelligence, philosophy and computer science. The main themes of the book are proof theory, descriptive uses, applications, and foundations of intensional logic.

Produktinformation

Utgivningsdatum2010-12-06
Mått155 x 235 x 17 mm
Vikt470 g
FormatHäftad
SpråkEngelska
SerieApplied Logic Series
Antal sidor294
FörlagSpringer
ISBN9789048148974

Tillhör följande kategorier

Modal Quantification over Structured Domains.- Modal Logic and Model-Theoretic Syntax.- The Functional Interpretation of Modal Necessity.- Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic.- The Logic of Correct Description.- Modal Logics of Arrows.- A Full-Circle Theorem for Simple Tense Logic.- Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline.- The Modal Object Calculus and its Interpretation.- Name Index.

Du kanske också är intresserad av

Del 7

Advances in Intensional Logic

Maarten de Rijke

Inbunden

2 079 kr

Specifying Syntactic Structures

Patrick Blackburn, Maarten de Rijke

Inbunden

929 kr

Multilingual and Multimodal Information Access Evaluation

Maristella Agosti, Nicola Ferro, Carol Peters, Maarten de Rijke, Alan Smeaton

Häftad

719 kr

Diamonds and Defaults

Maarten de Rijke

Häftad

2 079 kr

Click Models for Web Search

Aleksandr Chuklin, Ilya Markov, Maarten de Rijke

Häftad

479 kr

Evaluation of Multilingual and Multi-modal Information Retrieval

Cross-Language Evaluation Forum, Paul Clough, Fredric C. Gey, Jussi Karlgren, Bernardo Magnini, Douglas W. Oard, Maarten de Rijke, Maximilian Stempfhuber

Häftad

1 369 kr