Description |
1 online resource |
Series |
Lecture notes in computer science ; 7750 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7750.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Constructive Decision Theory / Lawrence E. Blume, David A. Easley, Joseph Y. Halpern -- Bisimulation and Coverings for Graphs and Hypergraphs / Martin Otto -- Forcing Axioms, Finite Conditions and Some More / Mirna Džamonja -- A Note on Axiomatisations of Two-Dimensional Modal Logics / Agi Kurucz -- The Birth of Proof: Modality and Deductive Reasoning / Adriane Rini -- Indiscrete Models: Model Building and Model Checking over Linear Time / Tim French, John McCabe-Dansted, Mark Reynolds -- Probabilistic IF Logic / Gabriel Sandu -- Contributed Papers -- Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge / Mai Ajspur, Valentin Goranko -- Agent-Time Epistemics and Coordination / Ido Ben-Zvi, Yoram Moses -- Dynamic Epistemic Logic for Channel-Based Agent Communication / Katsuhiko Sano, Satoshi Tojo -- On Kripke's Puzzle about Time and Thought / Rohit Parikh -- Yablo Sequences in Truth Theories / Cezary Cieśliński -- Moving Up and Down in the Generic Multiverse / Joel David Hamkins, Benedikt Löwe -- Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic / Björn Lellmann, Dirk Pattinson -- Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms / Franco Parlamento, Flavio Previale -- Logic of Non-monotonic Interactive Proofs / Simon Kramer -- Noninterference for Intuitionist Necessity / Radha Jagadeesan, Corin Pitcher, James Riely -- Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal / Soma Dutta, Sanjukta Basu, Mihir Kr. Chakraborty -- Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System / S.P. Tiwari, Anupam K. Singh -- Public Announcements for Non-omniscient Agents / Fernando R. Velázquez-Quesada |
Summary |
Invited Papers -- Constructive Decision Theory (Extended Abstract) -- Bisimulation and Coverings for Graphs and Hypergraphs -- Forcing Axioms, Finite Conditions and Some More -- A Note on Axiomatisations of Two-Dimensional Modal Logics -- The Birth of Proof: Modality and Deductive Reasoning -- Indiscrete Models: Model Building and Model Checking over Linear Time -- Probabilistic IF Logic -- Contributed Papers -- Tableaux-Based Decision Method for Single-Agent Linear Time -- Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge -- Agent-Time Epistemics and Coordination -- Dynamic Epistemic Logic for Channel-Based Agent Communication -- On Kripke's Puzzle about Time and Thought -- Yablo Sequences in Truth Theories -- Moving Up and Down in the Generic Multiverse -- Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic -- Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms -- Logic of Non-monotonic Interactive Proofs.-Noninterference for Intuitionist Necessity -- Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal -- Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System -- Public Announcements for Non-omniscient Agents -- Subset Space Logic with Arbitrary Announcements -- Subset Space Public Announcement Logic |
Notes |
International conference proceedings |
Bibliography |
Includes bibliographical references and author index |
Notes |
Print version record |
Subject |
Logic, Symbolic and mathematical -- Congresses
|
|
Logic.
|
|
Logic
|
|
logic.
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Logic
|
|
Logic, Symbolic and mathematical
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Lodaya, Kamal.
|
ISBN |
9783642360398 |
|
3642360394 |
|
3642360386 |
|
9783642360381 |
|