Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
Lev D. Beklemishev, Ruy de Queiroz
Springer Science & Business Media, May 2, 2011 - Mathematics - 311 pages
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
algebra algorithm apply axiom Beklemishev Berlin Heidelberg 2011 bisimulation Boolean Cayley graph clauses closure combinatory logic condition corresponding defined denote derivation edges elements epistemic logic equivalent evidence function expressive finite first-order first-order variables formula fragments graph G Heidelberg Hence Hoare logic hybrid logic infinite JPAL justification logic lambda calculus language Lawvere theories Lemma LNCS meaningless set meaningless terms memory logics modal logic normal form notation occur OPAL operators Perm-action polynomial polynomial hierarchy poset premises prenex normal form problem proof propositional protocol prove public announcement Queiroz Eds queries RCL+ recursive reduction relation result robot rootactive rules satisfies second-order logic semantics sentence sequence sets of meaningless Springer structure subformula symbols tape thenk Theorem tree tuple Turing machines unique(X variables vertex well-formed WoLLIC