|
" Logic and its applications : "
Kamal Lodaya (ed.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
747802
|
| Doc. No
|
:
|
b567753
|
| Main Entry
|
:
|
Kamal Lodaya (ed.).
|
| Title & Author
|
:
|
Logic and its applications : : 5th Indian conference, ICLA 2013, Chennai, India, January 10-12, 2013, proceedings\ Kamal Lodaya (ed.).
|
| Publication Statement
|
:
|
Berlin ; New York : Springer, ©2013.
|
| Series Statement
|
:
|
Lecture notes in computer science, 7750.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
|
| ISBN
|
:
|
3642360386
|
|
|
:
|
: 3642360394
|
|
|
:
|
: 9783642360381
|
|
|
:
|
: 9783642360398
|
| Notes
|
:
|
International conference proceedings.
|
| 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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Logic, Symbolic and mathematical -- Congresses.
|
| Subject
|
:
|
Logic.
|
| Subject
|
:
|
MATHEMATICS -- Infinity.
|
| LC Classification
|
:
|
QA9.A1K363 2013
|
| Added Entry
|
:
|
Kamal Lodaya
|
| Parallel Title
|
:
|
ICLA 2013
|
| |