Period of time： 2013年1期
Publisher： Oxford University Press
Founded in： 1990
Total resources： 4
ISSN： 1465-363X
Subject： TP Automation Technology , Computer Technology
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 and Computation,volume 23,issue 1
Menu
Strong normalization in some temporal substructural logics
Journal of Logic and Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 2013-02 , pp.
Access to resources
Recommend
Opening the black box of trust: reasoning about trust models in a BDI agent
By Koster Andrew,Schorlemmer Marco,Sabater-Mir Jordi in (2013)
Journal of Logic and Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 2013-02 , pp.A semantic proof of strong cut-admissibility for first-order Gdel logic
By Lahav Ori,Avron Arnon in (2013)
Journal of Logic and Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 2013-02 , pp.By Chen Hubie,Dalmau Victor,Gruien Berit in (2013)
Journal of Logic and Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 2013-02 , pp.Prime implicates and relevant belief revision
By Van De Putte Frederik in (2013)
Journal of Logic and Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 2013-02 , pp.On the existence of a modal-logical basis for monadic second-order logic
By Hella Lauri,Tulenheimo Tero in (2013)
Journal of Logic and Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 2013-02 , pp.Remarks on some general features of abduction
By Estrada-Gonzlez Luis in (2013)
Journal of Logic and Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 2013-02 , pp.Generalized constraint diagrams and the classical decision problem
By Burton Jim,Stapleton Gem,Howse John in (2013)
Journal of Logic and Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 2013-02 , pp.The recursive path and polynomial ordering for first-order and higher-order terms
By Bofill Miquel,Borralleras Cristina,Rodrguez-Carbonell Enric,Rubio Albert in (2013)
Journal of Logic and Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 2013-02 , pp.