عنوان

Logic and its applications :

3642360386

3642360394

9783642360381

9783642360398

b567753

Logic and its applications :

[Book]

5th Indian conference, ICLA 2013, Chennai, India, January 10-12, 2013, proceedings

Kamal Lodaya (ed.).

Berlin ; New York

Springer

©2013.

Lecture notes in computer science, 7750.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.

International conference proceedings.

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.

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.

ICLA 2013

Logic, Symbolic and mathematical -- Congresses.

Logic.

MATHEMATICS -- Infinity.

Kamal Lodaya (ed.).

Kamal Lodaya

[Book]

Y