Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

IGPL
2010

favoriteEmaildiscussreport

82views more IGPL 2010»

Multimodal and intuitionistic logics in simple type theory

13 years 3 months ago

Multimodal and intuitionistic logics in simple type theory

Download www.ags.uni-sb.de

Christoph Benzmüller, Lawrence C. Paulson

Real-time Traffic

IGPL 2010 |

claim paper

Related Content

» Combining Logics in Simple Type Theory

» Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory

» Collection Principles in Dependent Type Theory

» An effective theory of type refinements

» Embedding a logical theory of constructions in Agda

» Dependently Sorted Logic

» Verifying the Modal Logic Cube Is an Easy Task For HigherOrder Automated Reasoners

» Theory Interpretation in Simple Type Theory

» Embedding Pure Type Systems in the LambdaPiCalculus Modulo

Post Info
More Details (n/a)

Added	27 Jan 2011
Updated	27 Jan 2011
Type	Journal
Year	2010
Where	IGPL
Authors	Christoph Benzmüller, Lawrence C. Paulson

Comments (0)