Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7734 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7734.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Compositional Reasoning for Multi-modal Logics / Luca Aceto, Anna Ingólfsdóttir -- Explicit Generic Common Knowledge / Evangelia Antonakos -- Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification / Gilles Barthe, Juan Manuel Crespo, César Kunz -- Assignment Calculus: A Pure Imperative Language / Marc Bender, Jeffery Zucker -- Multiplayer Cost Games with Simple Nash Equilibria / Thomas Brihaye, Julie De Pril, Sven Schewe -- Forward Chaining for Hybrid ASP / Alex Brik, Jeffrey B. Remmel -- Effectivity Questions for Kleene's Recursion Theorem / John Case, Sanjay Jain, Frank Stephan -- Sub-computable Bounded Pseudorandomness / Douglas Cenzer, Jeffrey B. Remmel -- Automated Support for the Investigation of Paraconsistent and Other Logics / Agata Ciabattoni, Ori Lahav, Lara Spendier --[50580 A Modal BI Logic for Dynamic Resource Properties / J.R. Courtault, D. Galmiche -- Stuttering for Abstract Probabilistic Automata / Benoît Delahaye, Kim G. Larsen, Axel Legay -- Call-by-Value Non-determinism in a Linear Logic Type Discipline / Alejandro Díaz-Caro, Giulio Manzonetto -- The Wadge Hierarchy of Petri Nets [omega]-Languages / Jacques Duparc, Olivier Finkel -- Iterated Contraction Based on Indistinguishability / Konstantinos Georgatos -- A Note on Extensions: Admissible Rules via Semantics / Jeroen Goudsmit -- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference / Bernhard Heinemann -- Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems / Ping Hou, Hao Zheng |
|
Computational Hardness of Validity in Probability Logic / Rutger Kuyper -- Update as Evidence: Belief Expansion / Roman Kuznets, Thomas Studer -- Separating the Fan Theorem and Its Weakenings / Robert S. Lubarsky, Hannes Diener -- The Logic of Uncertain Justifications / Bob Milnikel -- Justifications, Awareness and Epistemic Dynamics / Igor Sedlár -- Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars / Alexey Sorokin -- Constructive Polychronous Systems / Jean-Pierre Talpin, Jens Brandt, Mike Gemünde -- On Tolerance Analysis of Games with Belief Revision / Çağıl Taşdemir -- Temporalizing Modal Epistemic Logic / Ren-June Wang -- Contextual Natural Deduction / Bruno Woltzenlogel Paleo -- Conservatively Approximable Functions / Sebastian Wyman -- Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic / Junhua Yu |
Summary |
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science |
Analysis |
Computer science |
|
Information theory |
|
Logic design |
|
Logic, Symbolic and mathematical |
|
Mathematical Logic and Formal Languages |
|
Arithmetic and Logic Structures |
|
Logics and Meanings of Programs |
|
Theory of Computation |
|
Programming Languages, Compilers, Interpreters |
|
Mathematical Logic and Foundations |
|
computerwetenschappen |
|
computer sciences |
|
wiskunde |
|
mathematics |
|
computertechnieken |
|
computer techniques |
|
computational science |
|
programmeertalen |
|
programming languages |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes author index |
Notes |
English |
Subject |
Computer science -- Congresses
|
|
Computer logic -- Congresses
|
|
Logic.
|
|
Logic
|
|
logic.
|
|
COMPUTERS -- Computer Literacy.
|
|
COMPUTERS -- Computer Science.
|
|
COMPUTERS -- Data Processing.
|
|
COMPUTERS -- Hardware -- General.
|
|
COMPUTERS -- Information Technology.
|
|
COMPUTERS -- Machine Theory.
|
|
COMPUTERS -- Reference.
|
|
Logic
|
|
Computer logic
|
|
Computer science
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Artemov, S. N.
|
|
Nerode, Anil, 1932-
|
ISBN |
9783642357220 |
|
3642357229 |
|
3642357210 |
|
9783642357213 |
|