Quantifiers, Propositions and Identity

Admissible Semantics for Quantified Modal and Substructural Logics

Inbunden, Engelska, 2011

Av Robert (Victoria University of Wellington) Goldblatt, Robert Goldblatt

1 999 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation. This book is for mathematical or philosophical logicians, computer scientists and linguists, including academic researchers, teachers and advanced students.

Produktinformation

  • Utgivningsdatum2011-07-14
  • Mått235 x 163 x 20 mm
  • Vikt528 g
  • FormatInbunden
  • SpråkEngelska
  • SerieLecture Notes in Logic
  • Antal sidor282
  • FörlagCambridge University Press
  • ISBN9781107010529

Tillhör följande kategorier

Du kanske också är intresserad av

Logic and Algebraic Structures in Quantum Computing
Del 45

Logic and Algebraic Structures in Quantum Computing

Jennifer Chubb, Ali Eskandarian, Valentina Harizanov, Jennifer (University of San Francisco) Chubb, Washington DC) Eskandarian, Ali (George Washington University, Washington DC) Harizanov, Valentina (George Washington University

2 309 kr

Bounded Variable Logics and Counting

Bounded Variable Logics and Counting

Germany) Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Martin Otto

1 999 kr

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Gregory Cherlin, New Jersey) Cherlin, Gregory (Rutgers University

1 969 kr

The Core Model Iterability Problem

The Core Model Iterability Problem

Berkeley) Steel, John R. (University of California, John R. Steel

1 989 kr

Fine Structure and Iteration Trees

Fine Structure and Iteration Trees

William J. (University of Florida) Mitchell, Los Angeles) Steel, John R. (University of California, William J. Mitchell, John R. Steel

1 999 kr

Kurt Godel

Kurt Godel

California) Feferman, Solomon (Stanford University, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Stephen G. (Pennsylvania State University) Simpson, Solomon Feferman, Charles Parsons, Stephen G. Simpson

2 179 kr

Course in Model Theory

Course in Model Theory

Katrin Tent, Martin Ziegler, Germany) Ziegler, Martin (Albert-Ludwigs-Universitat Freiburg

999 kr

Core Model Iterability Problem
Del 8

Core Model Iterability Problem

John Steel

719 kr

Recursion Theory

Recursion Theory

North Carolina) Shoenfield, Joseph R. (Duke University, Joseph R. Shoenfield

1 969 kr

Logic Colloquium '95

Logic Colloquium '95

Haifa) Makowsky, Johann A. (Technion - Israel Institute of Technology, Haifa) Ravve, Elena V. (Technion - Israel Institute of Technology, Johann A. Makowsky, Elena V. Ravve

2 629 kr