Journal of Logic, Language and Information,volume 16,issue 1  (01-2013)

Period of time： 2013年1期

Publisher： Springer Publishing Company

Founded in： 1992

Total resources： 18

ISSN： 0925-8531

Subject： B Philosophy and Religion

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Journal of Logic, Language and Information,volume 16,issue 1

Menu

Symmetric and contrapositional quantifiers

By Zuber R. in (2007)

Journal of Logic, Language and Information,volume 16,issue 1 , Vol. 16, Iss. 1, 2007-01 , pp. 1-13

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Focus interpretation in Thetic statements: Alternative Semantics and Optimality Theory Pragmatics

By Sæbø Kjell in (2007)

Journal of Logic, Language and Information,volume 16,issue 1 , Vol. 16, Iss. 1, 2007-01 , pp. 15-33

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A proof–theoretic study of the correspondence of hybrid logic and classical logic

By Kushida H.,Okada M. in (2007)

Journal of Logic, Language and Information,volume 16,issue 1 , Vol. 16, Iss. 1, 2007-01 , pp. 35-61

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Linear temporal logic as an executable semantics for planning languages

By Mayer Marta,Limongelli Carla,Orlandini Andrea,Poggioni Valentina in (2007)

Journal of Logic, Language and Information,volume 16,issue 1 , Vol. 16, Iss. 1, 2007-01 , pp. 63-89

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Reference and perspective in intuitionistic logics

By Nolt John in (2007)

Journal of Logic, Language and Information,volume 16,issue 1 , Vol. 16, Iss. 1, 2007-01 , pp. 91-115

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Logic in Computer Science: Modelling and Reasoning About Systems

By Goranko Valentin in (2007)

Journal of Logic, Language and Information,volume 16,issue 1 , Vol. 16, Iss. 1, 2007-01 , pp. 117-120

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 6 item(s)