<--- Back to Details
First PageDocument Content
Modal logic / Model theory / Philosophical logic / Predicate logic / Counterpart theory / Interpretation / Mereology / Function / Accessibility relation / Logic / Mathematical logic / Mathematics
Date: 2012-01-26 03:16:47
Modal logic
Model theory
Philosophical logic
Predicate logic
Counterpart theory
Interpretation
Mereology
Function
Accessibility relation
Logic
Mathematical logic
Mathematics

Canonical Counterpart Theory

Add to Reading List

Source URL: spot.colorado.edu

Download Document from Source Website

File Size: 111,51 KB

Share Document on Facebook

Similar Documents

Linear temporal logic / Temporal logic / Symbol / Stochastic game / Mathematical optimization / Markov decision process / Markov chain / Probability

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

DocID: 1xVM0 - View Document

Geometry / Algebra / Abstract algebra / Algebraic geometry / Chenyang Xu / Minimal model program / Fano variety / Canonical singularity / Birational geometry / Projective variety / Resolution of singularities / Canonical bundle

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳)

DocID: 1xVHX - View Document

Model theory / Mathematics / Mathematical logic / Metalogic / Non-standard analysis / Ultraproduct / Maryanthe Malliaris / Ultrafilter / Saturated model / O-minimal theory / Type / Finite set

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–98) MODEL THEORY AND ULTRAPRODUCTS Maryanthe Malliaris

DocID: 1xTmh - View Document

Logic / Mathematical logic / Theoretical computer science / Model theory / Logic in computer science / Logical truth / Philosophy of logic / Satisfiability / Convex function / Universal quantification / Boolean satisfiability problem

Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research

DocID: 1xTeO - View Document

factor prices in general equilibrium factor prices in general equilibrium 1 Introduction At first glance, the Walrasian general equilibrium model does not offer a theory of factor prices. Factors are goods

DocID: 1vrRG - View Document