Back to Results
First PageMeta Content
Model theory / Predicate logic / Non-classical logic / Quantification / Interpretation / First-order logic / Independence-friendly logic / FO / Lambda calculus / Logic / Mathematical logic / Philosophical logic


On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN
Add to Reading List

Document Date: 2009-10-23 18:50:09

Open Document

File Size: 443,43 KB

Share Result on Facebook

City

CONICET / /

Country

Argentina / /

/

Facility

Theoretical Computer Science Group Hasselt University / Transnational University of Limburg Abstract In / /

IndustryTerm

inadequate device / mere syntactic device / /

Organization

Universidad de Buenos Aires / Transnational University of Limburg Abstract In / Theoretical Computer Science Group Hasselt University / /

Person

Daniel Gor´ına / Rafael Grimsonc / Santiago Figueiraa / Jaako Hintikka / Rafael Grimson / Santiago Figueira / Daniel Gor´ın / /

Position

player / /

SocialTag