Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/icla:"
download as .bib file
@inproceedings{DBLP:conf/icla/BergDGMPP23,
author = {Ineke van der Berg and
Andrea De Domenico and
Giuseppe Greco and
Krishna Manoorkar and
Alessandra Palmigiano and
Mattia Panettiere},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Labelled Calculi for Lattice-Based Modal Logics},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {23--47},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_3},
doi = {10.1007/978-3-031-26689-8\_3},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/BergDGMPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/BergDGMPP23a,
author = {Ineke van der Berg and
Andrea De Domenico and
Giuseppe Greco and
Krishna Manoorkar and
Alessandra Palmigiano and
Mattia Panettiere},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Labelled Calculi for the Logics of Rough Concepts},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {172--188},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_13},
doi = {10.1007/978-3-031-26689-8\_13},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/BergDGMPP23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Chakraborty23,
author = {Mihir Kumar Chakraborty},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {A Note on the Ontology of Mathematics},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {1--10},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_1},
doi = {10.1007/978-3-031-26689-8\_1},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Chakraborty23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Chakraborty23a,
author = {Supratik Chakraborty},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Boolean Functional Synthesis: From Under the Hood of Solvers},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {11--22},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_2},
doi = {10.1007/978-3-031-26689-8\_2},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Chakraborty23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/ChenM23,
author = {Qian Chen and
Minghui Ma},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Modal Logic of Generalized Separated Topological Spaces},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {92--104},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_7},
doi = {10.1007/978-3-031-26689-8\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/ChenM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/He23,
author = {Fan He},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Multiple-Valued Semantics for Metric Temporal Logic},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {105--116},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_8},
doi = {10.1007/978-3-031-26689-8\_8},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/He23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/JacobC23,
author = {Jeny Jacob and
Manoj Changat},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Segment Transit Function of the Induced Path Function of Graphs and
Its First-Order Definability},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {117--129},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_9},
doi = {10.1007/978-3-031-26689-8\_9},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/JacobC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Muller23,
author = {Sandra M{\"{u}}ller},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Determinacy Axioms and Large Cardinals},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {68--78},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_5},
doi = {10.1007/978-3-031-26689-8\_5},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Muller23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/PaulP23,
author = {Bornali Paul and
Sandip Paul},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Fuzzy Free Logic with Dual Domain Semantics},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {130--142},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_10},
doi = {10.1007/978-3-031-26689-8\_10},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/PaulP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Ramanujam23,
author = {R. Ramanujam},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Big Ideas from Logic for Mathematics and Computing Education},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {79--91},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_6},
doi = {10.1007/978-3-031-26689-8\_6},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Ramanujam23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/SanyalS23,
author = {Manidipa Sanyal and
Prabal Kumar Sen},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {A New Dimension of Imperative Logic},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {143--158},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_11},
doi = {10.1007/978-3-031-26689-8\_11},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/SanyalS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Sardar23,
author = {Masiur Rahaman Sardar},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Quasi-Boolean Based Models in Rough Set Theory: {A} Case of Covering},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {159--171},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_12},
doi = {10.1007/978-3-031-26689-8\_12},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Sardar23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/SinghLK23,
author = {Shikha Singh and
Kamal Lodaya and
Deepak Khemani},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Two Ways to Scare a Gruffalo},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {48--67},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_4},
doi = {10.1007/978-3-031-26689-8\_4},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/SinghLK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/WuM23,
author = {Hao Wu and
Minghui Ma},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {An Infinity of Intuitionistic Connexive Logics},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {189--206},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_14},
doi = {10.1007/978-3-031-26689-8\_14},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/WuM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/WuM23a,
author = {Hao Wu and
Minghui Ma},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Relational Semantics for Normal Topological Quasi-Boolean Logic},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {207--221},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_15},
doi = {10.1007/978-3-031-26689-8\_15},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/WuM23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icla/2023,
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8},
doi = {10.1007/978-3-031-26689-8},
isbn = {978-3-031-26688-1},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/BabuKP19,
author = {Jasine Babu and
Karunakaran Murali Krishnan and
Vineeth Paleri},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {A Fix-Point Characterization of Herbrand Equivalence of Expressions
in Data Flow Frameworks},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {160--172},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_15},
doi = {10.1007/978-3-662-58771-3\_15},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/BabuKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Balbiani19,
author = {Philippe Balbiani},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Unification in Modal Logic},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {1--5},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_1},
doi = {10.1007/978-3-662-58771-3\_1},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Balbiani19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Cieslinski19,
author = {Cezary Cieslinski},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Satisfaction Classes via Cut Elimination},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {121--131},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_12},
doi = {10.1007/978-3-662-58771-3\_12},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Cieslinski19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/FrenchGR19,
author = {Tim French and
Andrew Gozzard and
Mark Reynolds},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {A Modal Aleatoric Calculus for Probabilistic Reasoning},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {52--63},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_6},
doi = {10.1007/978-3-662-58771-3\_6},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/FrenchGR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/GodziszewskiU19,
author = {Michal Tomasz Godziszewski and
Rafal Urbaniak},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Infinite Liar in a (Modal) Finitistic Setting},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {18--29},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_3},
doi = {10.1007/978-3-662-58771-3\_3},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/GodziszewskiU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/GrecoJMPT19,
author = {Giuseppe Greco and
Peter Jipsen and
Krishna Manoorkar and
Alessandra Palmigiano and
Apostolos Tzimoulis},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Logics for Rough Concept Analysis},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {144--159},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_14},
doi = {10.1007/978-3-662-58771-3\_14},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/GrecoJMPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Lange19,
author = {Martin Lange},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Specifying Program Properties Using Modal Fixpoint Logics: {A} Survey
of Results},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {42--51},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_5},
doi = {10.1007/978-3-662-58771-3\_5},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Lange19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/LinC19,
author = {Zhe Lin and
Mihir Kumar Chakraborty},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {The Finite Embeddability Property for Topological Quasi-Boolean Algebra
5},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {30--41},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_4},
doi = {10.1007/978-3-662-58771-3\_4},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/LinC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Nakamura19,
author = {Yoshiki Nakamura},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {The Undecidability of {FO3} and the Calculus of Relations with Just
One Binary Relation},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {108--120},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_11},
doi = {10.1007/978-3-662-58771-3\_11},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Nakamura19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/PadmanabhaR19,
author = {Anantha Padmanabha and
R. Ramanujam},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Propositional Modal Logic with Implicit Modal Quantification},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {6--17},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_2},
doi = {10.1007/978-3-662-58771-3\_2},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/PadmanabhaR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Parikh19,
author = {Rohit Parikh},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Logic Without Language},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {173--182},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_16},
doi = {10.1007/978-3-662-58771-3\_16},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Parikh19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Pratt-Hartmann19,
author = {Ian Pratt{-}Hartmann},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Transitivity and Equivalence in Decidable Fragments of First-Order
Logic: {A} Survey},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {103--107},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_10},
doi = {10.1007/978-3-662-58771-3\_10},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Pratt-Hartmann19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Prest19,
author = {Mike Prest},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Model Theory for Sheaves of Modules},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {89--102},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_9},
doi = {10.1007/978-3-662-58771-3\_9},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Prest19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Sankaran19,
author = {Abhisekh Sankaran},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Revisiting the Generalized {\L}o{\'{s}}-Tarski Theorem},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {76--88},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_8},
doi = {10.1007/978-3-662-58771-3\_8},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Sankaran19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/SanoM19,
author = {Katsuhiko Sano and
Minghui Ma},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Sequent Calculi for Normal Update Logics},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {132--143},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_13},
doi = {10.1007/978-3-662-58771-3\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/SanoM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/SavicS19,
author = {Nenad Savic and
Thomas Studer},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Public Announcements for Epistemic Models and Hypertheories},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {64--75},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_7},
doi = {10.1007/978-3-662-58771-3\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/SavicS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/SinghN19,
author = {Abhishek Kr Singh and
Raja Natarajan},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Towards a Constructive Formalization of Perfect Graph Theorems},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {183--194},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_17},
doi = {10.1007/978-3-662-58771-3\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/SinghN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icla/2019,
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3},
doi = {10.1007/978-3-662-58771-3},
isbn = {978-3-662-58770-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/AsherP17,
author = {Nicholas Asher and
Soumya Paul},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Conversation and Games},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {1--18},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_1},
doi = {10.1007/978-3-662-54069-5\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/AsherP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/BakhtiariDH17,
author = {Zeinab Bakhtiari and
Hans van Ditmarsch and
Helle Hvid Hansen},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Neighbourhood Contingency Bisimulation},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {48--63},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_5},
doi = {10.1007/978-3-662-54069-5\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/BakhtiariDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/BuningWS17,
author = {Hans Kleine{ }B{\"{u}}ning and
Piotr Wojciechowski and
K. Subramani},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {The Complexity of Finding Read-Once NAE-Resolution Refutations},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {64--76},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_6},
doi = {10.1007/978-3-662-54069-5\_6},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/BuningWS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Dobrinen17,
author = {Natasha Dobrinen},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Ramsey Theory on Trees and Applications},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {19--22},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_2},
doi = {10.1007/978-3-662-54069-5\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Dobrinen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/EijckGW17,
author = {Jan van Eijck and
Malvin Gattinger and
Yanjing Wang},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Knowing Values and Public Inspection},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {77--90},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_7},
doi = {10.1007/978-3-662-54069-5\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/EijckGW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/FisherFV17,
author = {Corey Fisher and
Seth Fogarty and
Moshe Y. Vardi},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Random Models for Evaluating Efficient B{\"{u}}chi Universality
Checking},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {91--105},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_8},
doi = {10.1007/978-3-662-54069-5\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/FisherFV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/GalmicheKP17,
author = {Didier Galmiche and
Pierre Kimmel and
David J. Pym},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {A Substructural Epistemic Resource Logic},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {106--122},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_9},
doi = {10.1007/978-3-662-54069-5\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/GalmicheKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/GeuversH17,
author = {Herman Geuvers and
Tonny Hurkens},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Deriving Natural Deduction Rules from Truth Tables},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {123--138},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_10},
doi = {10.1007/978-3-662-54069-5\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/GeuversH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/KumarB17,
author = {Arun Kumar and
Mohua Banerjee},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {A Semantic Analysis of Stone and Dual Stone Negations with Regularity},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {139--153},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_11},
doi = {10.1007/978-3-662-54069-5\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/KumarB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/LiW17,
author = {Yanjun Li and
Yanjing Wang},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Achieving While Maintaining: - {A} Logic of Knowing How with Intermediate
Constraints},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {154--167},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_12},
doi = {10.1007/978-3-662-54069-5\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/LiW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/MaP17,
author = {Minghui Ma and
Ahti{-}Veikko Pietarinen},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Peirce's Sequent Proofs of Distributivity},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {168--182},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_13},
doi = {10.1007/978-3-662-54069-5\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/MaP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Ong17,
author = {C.{-}H. Luke Ong},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Automata, Logic and Games for the {\(\lambda\)}-Calculus},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {23--26},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_3},
doi = {10.1007/978-3-662-54069-5\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Ong17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/ParisV17,
author = {Jeff B. Paris and
Alena Vencovsk{\'{a}}},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Ancient Indian Logic and Analogy},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {198--210},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_15},
doi = {10.1007/978-3-662-54069-5\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/ParisV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Quintana17,
author = {Ignacio Ojea Quintana},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {On Semantic Gamification},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {183--197},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_14},
doi = {10.1007/978-3-662-54069-5\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Quintana17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Thinniyam17,
author = {Ramanathan S. Thinniyam},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Definability of Recursive Predicates in the Induced Subgraph Order},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {211--223},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_16},
doi = {10.1007/978-3-662-54069-5\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Thinniyam17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Walega17,
author = {Przemyslaw Andrzej Walega},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham
Logic},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {224--238},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_17},
doi = {10.1007/978-3-662-54069-5\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Walega17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Zach17,
author = {Richard Zach},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Semantics and Proof Theory of the Epsilon Calculus},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {27--47},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_4},
doi = {10.1007/978-3-662-54069-5\_4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Zach17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icla/2017,
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5},
doi = {10.1007/978-3-662-54069-5},
isbn = {978-3-662-54068-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Awodey15,
author = {Steve Awodey},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Homotopy Type Theory},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {1--10},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_1},
doi = {10.1007/978-3-662-45824-2\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/Awodey15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/BandyopadhyayRDB15,
author = {Prasanta S. Bandyopadhyay and
R. Venkata Raghavan and
Don Wallace Dcruz and
Gordon Brittan Jr.},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Truths about Simpson's Paradox: Saving the Paradox from Falsity},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {58--73},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_4},
doi = {10.1007/978-3-662-45824-2\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/BandyopadhyayRDB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Dunn15,
author = {J. Michael Dunn},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {The Relevance of Relevance to Relevance Logic},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {11--29},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_2},
doi = {10.1007/978-3-662-45824-2\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Dunn15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/DuttaBC15,
author = {Soma Dutta and
Benjam{\'{\i}}n R. C. Bedregal and
Mihir K. Chakraborty},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Some Instances of Graded Consequence in the Context of Interval-Valued
Semantics},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {74--87},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_5},
doi = {10.1007/978-3-662-45824-2\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/DuttaBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/FanD15,
author = {Jie Fan and
Hans van Ditmarsch},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Neighborhood Contingency Logic},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {88--99},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_6},
doi = {10.1007/978-3-662-45824-2\_6},
timestamp = {Sat, 19 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/FanD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Filiot15,
author = {Emmanuel Filiot},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Logic-Automata Connections for Transformations},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {30--57},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_3},
doi = {10.1007/978-3-662-45824-2\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Filiot15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/GinesP15,
author = {Ar{\'{a}}nzazu San Gin{\'{e}}s and
Rohit Parikh},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {A Pragmatistic Approach to Propositional Knowledge Based on the Successful
Behavior of Belief},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {146--157},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_10},
doi = {10.1007/978-3-662-45824-2\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/GinesP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Hannula15,
author = {Miika Hannula},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Hierarchies in Inclusion Logic with Lax Semantics},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {100--118},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_7},
doi = {10.1007/978-3-662-45824-2\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Hannula15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Khan15,
author = {Md. Aquil Khan},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {A Modal Logic for Non-deterministic Information Systems},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {119--131},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_8},
doi = {10.1007/978-3-662-45824-2\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Khan15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/MaSSV15,
author = {Minghui Ma and
Katsuhiko Sano and
Fran{\c{c}}ois Schwarzentruber and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Tableaux for Non-normal Public Announcement Logic},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {132--145},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_9},
doi = {10.1007/978-3-662-45824-2\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/MaSSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/SchimpfS15,
author = {Alexander Schimpf and
Jan{-}Georg Smaus},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {B{\"{u}}chi Automata Optimisations Formalised in Isabelle/HOL},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {158--169},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_11},
doi = {10.1007/978-3-662-45824-2\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/SchimpfS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Schorr15,
author = {Jaron Schorr},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Ny{\={a}}ya's Logical Model for Ascertaining Sound Arguments},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {170--182},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_12},
doi = {10.1007/978-3-662-45824-2\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Schorr15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Schweizer15,
author = {Paul Schweizer},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Negative Existentials and Non-denoting Terms},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {183--194},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_13},
doi = {10.1007/978-3-662-45824-2\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Schweizer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Tarafder15,
author = {Sourav Tarafder},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {195--206},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_14},
doi = {10.1007/978-3-662-45824-2\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Tarafder15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Vencovska15,
author = {Alena Vencovsk{\'{a}}},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Extending Carnap's Continuum to Binary Relations},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {207--217},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_15},
doi = {10.1007/978-3-662-45824-2\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Vencovska15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Wang15,
author = {Yanjing Wang},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Representing Imperfect Information of Procedures with Hyper Models},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {218--231},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_16},
doi = {10.1007/978-3-662-45824-2\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Wang15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icla/2015,
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2},
doi = {10.1007/978-3-662-45824-2},
isbn = {978-3-662-45823-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/AjspurG13,
author = {Mai Ajspur and
Valentin Goranko},
editor = {Kamal Lodaya},
title = {Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous
Temporal Epistemic Logics with Interacting Time and Knowledge},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {80--96},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_8},
doi = {10.1007/978-3-642-36039-8\_8},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/AjspurG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/BalbianiDK13,
author = {Philippe Balbiani and
Hans van Ditmarsch and
Andrey Kudinov},
editor = {Kamal Lodaya},
title = {Subset Space Logic with Arbitrary Announcements},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {233--244},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_21},
doi = {10.1007/978-3-642-36039-8\_21},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/BalbianiDK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Ben-ZviM13,
author = {Ido Ben{-}Zvi and
Yoram Moses},
editor = {Kamal Lodaya},
title = {Agent-Time Epistemics and Coordination},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {97--108},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_9},
doi = {10.1007/978-3-642-36039-8\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Ben-ZviM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/BlumeEH13,
author = {Lawrence E. Blume and
David A. Easley and
Joseph Y. Halpern},
editor = {Kamal Lodaya},
title = {Constructive Decision Theory},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {1--4},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_1},
doi = {10.1007/978-3-642-36039-8\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/BlumeEH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Cieslinski13,
author = {Cezary Cieslinski},
editor = {Kamal Lodaya},
title = {Yablo Sequences in Truth Theories},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {127--138},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_12},
doi = {10.1007/978-3-642-36039-8\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Cieslinski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/DuttaBC13,
author = {Soma Dutta and
Sanjukta Basu and
Mihir K. Chakraborty},
editor = {Kamal Lodaya},
title = {Many-Valued Logics, Fuzzy Logics and Graded Consequence: {A} Comparative
Appraisal},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {197--209},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_18},
doi = {10.1007/978-3-642-36039-8\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/DuttaBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Dzamonja13,
author = {Mirna Dzamonja},
editor = {Kamal Lodaya},
title = {Forcing Axioms, Finite Conditions and Some More},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {17--26},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_3},
doi = {10.1007/978-3-642-36039-8\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Dzamonja13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/FrenchMR13,
author = {Tim French and
John Christopher McCabe{-}Dansted and
Mark Reynolds},
editor = {Kamal Lodaya},
title = {Indiscrete Models: Model Building and Model Checking over Linear Time},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {50--68},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_6},
doi = {10.1007/978-3-642-36039-8\_6},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/FrenchMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/HamkinsL13,
author = {Joel David Hamkins and
Benedikt L{\"{o}}we},
editor = {Kamal Lodaya},
title = {Moving Up and Down in the Generic Multiverse},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {139--147},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_13},
doi = {10.1007/978-3-642-36039-8\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/HamkinsL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/JagadeesanPR13,
author = {Radha Jagadeesan and
Corin Pitcher and
James Riely},
editor = {Kamal Lodaya},
title = {Noninterference for Intuitionist Necessity},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {185--196},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_17},
doi = {10.1007/978-3-642-36039-8\_17},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/JagadeesanPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Kramer13,
author = {Simon Kramer},
editor = {Kamal Lodaya},
title = {Logic of Non-monotonic Interactive Proofs},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {173--184},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_16},
doi = {10.1007/978-3-642-36039-8\_16},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Kramer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Kurucz13,
author = {Agi Kurucz},
editor = {Kamal Lodaya},
title = {A Note on Axiomatisations of Two-Dimensional Modal Logics},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {27--33},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_4},
doi = {10.1007/978-3-642-36039-8\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Kurucz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/LellmannP13,
author = {Bj{\"{o}}rn Lellmann and
Dirk Pattinson},
editor = {Kamal Lodaya},
title = {Constructing Cut Free Sequent Systems with Context Restrictions Based
on Classical or Intuitionistic Logic},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {148--160},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_14},
doi = {10.1007/978-3-642-36039-8\_14},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/LellmannP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Otto13,
author = {Martin Otto},
editor = {Kamal Lodaya},
title = {Bisimulation and Coverings for Graphs and Hypergraphs},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {5--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_2},
doi = {10.1007/978-3-642-36039-8\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Otto13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Parikh13,
author = {Rohit Parikh},
editor = {Kamal Lodaya},
title = {On Kripke's Puzzle about Time and Thought},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {121--126},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_11},
doi = {10.1007/978-3-642-36039-8\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Parikh13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/ParlamentoP13,
author = {Franco Parlamento and
Flavio Previale},
editor = {Kamal Lodaya},
title = {Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic
of Partial Terms},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {161--172},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_15},
doi = {10.1007/978-3-642-36039-8\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/ParlamentoP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Rini13,
author = {Adriane A. Rini},
editor = {Kamal Lodaya},
title = {The Birth of Proof: Modality and Deductive Reasoning},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {34--49},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_5},
doi = {10.1007/978-3-642-36039-8\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Rini13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Sandu13,
author = {Gabriel Sandu},
editor = {Kamal Lodaya},
title = {Probabilistic {IF} Logic},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {69--79},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_7},
doi = {10.1007/978-3-642-36039-8\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Sandu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/SanoT13,
author = {Katsuhiko Sano and
Satoshi Tojo},
editor = {Kamal Lodaya},
title = {Dynamic Epistemic Logic for Channel-Based Agent Communication},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {109--120},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_10},
doi = {10.1007/978-3-642-36039-8\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/SanoT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/TiwariS13,
author = {S. P. Tiwari and
Anupam K. Singh},
editor = {Kamal Lodaya},
title = {Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {210--219},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_19},
doi = {10.1007/978-3-642-36039-8\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/TiwariS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Velazquez-Quesada13,
author = {Fernando R. Vel{\'{a}}zquez{-}Quesada},
editor = {Kamal Lodaya},
title = {Public Announcements for Non-omniscient Agents},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {220--232},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_20},
doi = {10.1007/978-3-642-36039-8\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Velazquez-Quesada13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/WangA13,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
editor = {Kamal Lodaya},
title = {Subset Space Public Announcement Logic},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {245--257},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_22},
doi = {10.1007/978-3-642-36039-8\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/WangA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icla/2013,
editor = {Kamal Lodaya},
title = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8},
doi = {10.1007/978-3-642-36039-8},
isbn = {978-3-642-36038-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Chakraborty11,
author = {Mihir K. Chakraborty},
editor = {Mohua Banerjee and
Anil Seth},
title = {On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {22--37},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_4},
doi = {10.1007/978-3-642-18026-2\_4},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/Chakraborty11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/DeanP11,
author = {Walter Dean and
Rohit Parikh},
editor = {Mohua Banerjee and
Anil Seth},
title = {The Logic of Campaigning},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {38--49},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_5},
doi = {10.1007/978-3-642-18026-2\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/DeanP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/DitmarschF11,
author = {Hans van Ditmarsch and
Tim French},
editor = {Mohua Banerjee and
Anil Seth},
title = {Becoming Aware of Propositional Variables},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {204--218},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_17},
doi = {10.1007/978-3-642-18026-2\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/DitmarschF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Doberkat11,
author = {Ernst{-}Erich Doberkat},
editor = {Mohua Banerjee and
Anil Seth},
title = {A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {50--64},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_6},
doi = {10.1007/978-3-642-18026-2\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Doberkat11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/DohertyMSS11,
author = {Patrick Doherty and
Tomasz P. Michalak and
Jacek Sroka and
Andrzej Szalas},
editor = {Mohua Banerjee and
Anil Seth},
title = {Contextual Coalitional Games},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {65--78},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_7},
doi = {10.1007/978-3-642-18026-2\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/DohertyMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Galliani11,
author = {Pietro Galliani},
editor = {Mohua Banerjee and
Anil Seth},
title = {Sensible Semantics of Imperfect Information - On a Formal Feature
of Meanings},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {79--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_8},
doi = {10.1007/978-3-642-18026-2\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Galliani11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Gardenfors11,
author = {Peter G{\"{a}}rdenfors},
editor = {Mohua Banerjee and
Anil Seth},
title = {Semantics Based on Conceptual Spaces},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {1--11},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_1},
doi = {10.1007/978-3-642-18026-2\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Gardenfors11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/GhoshV11,
author = {Sujata Ghosh and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
editor = {Mohua Banerjee and
Anil Seth},
title = {A Qualitative Approach to Uncertainty},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {90--104},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_9},
doi = {10.1007/978-3-642-18026-2\_9},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/GhoshV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Jetli11,
author = {Priyedarshi Jetli},
editor = {Mohua Banerjee and
Anil Seth},
title = {The Completion of the Emergence of Modern Logic from Boole's The Mathematical
Analysis of Logic to Frege's Begriffsschrift},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {105--123},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_10},
doi = {10.1007/978-3-642-18026-2\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Jetli11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/KhanM11,
author = {Md. Aquil Khan and
Minghui Ma},
editor = {Mohua Banerjee and
Anil Seth},
title = {A Modal Logic for Multiple-Source Tolerance Approximation Spaces},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {124--136},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_11},
doi = {10.1007/978-3-642-18026-2\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/KhanM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/ParisV11,
author = {Jeff B. Paris and
Alena Vencovsk{\'{a}}},
editor = {Mohua Banerjee and
Anil Seth},
title = {A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {137--146},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_12},
doi = {10.1007/978-3-642-18026-2\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/ParisV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Priest11,
author = {Graham Priest},
editor = {Mohua Banerjee and
Anil Seth},
title = {Four Corners - East and West},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {12--18},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_2},
doi = {10.1007/978-3-642-18026-2\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Priest11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Sano11,
author = {Katsuhiko Sano},
editor = {Mohua Banerjee and
Anil Seth},
title = {First-Order Inquisitive Pair Logic},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {147--161},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_13},
doi = {10.1007/978-3-642-18026-2\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Sano11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Saveliev11,
author = {Denis I. Saveliev},
editor = {Mohua Banerjee and
Anil Seth},
title = {Ultrafilter Extensions of Models},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {162--177},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_14},
doi = {10.1007/978-3-642-18026-2\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Saveliev11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/SeligmanLG11,
author = {Jeremy Seligman and
Fenrong Liu and
Patrick Girard},
editor = {Mohua Banerjee and
Anil Seth},
title = {Logic in the Community},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {178--188},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_15},
doi = {10.1007/978-3-642-18026-2\_15},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/SeligmanLG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Thomas11,
author = {Wolfgang Thomas},
editor = {Mohua Banerjee and
Anil Seth},
title = {Infinite Games and Uniformization},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {19--21},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_3},
doi = {10.1007/978-3-642-18026-2\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Thomas11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Wang11,
author = {Yanjing Wang},
editor = {Mohua Banerjee and
Anil Seth},
title = {Reasoning about Protocol Change and Knowledge},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {189--203},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_16},
doi = {10.1007/978-3-642-18026-2\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Wang11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icla/2011,
editor = {Mohua Banerjee and
Anil Seth},
title = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2},
doi = {10.1007/978-3-642-18026-2},
isbn = {978-3-642-18025-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Benthem09,
author = {Johan van Benthem},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Decisions, Actions, and Games: {A} Logical Perspective},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {1--22},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_1},
doi = {10.1007/978-3-540-92701-3\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/Benthem09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/BerwangerP09,
author = {Dietmar Berwanger and
Sophie Pinchinat},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Game Quantification Patterns},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {116--130},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_8},
doi = {10.1007/978-3-540-92701-3\_8},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/BerwangerP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Genot09,
author = {Emmanuel J. Genot},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Extensive Questions},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {131--145},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_9},
doi = {10.1007/978-3-540-92701-3\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Genot09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/GirardS09,
author = {Patrick Girard and
Jeremy Seligman},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {An Analytic Logic of Aggregation},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {146--161},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_10},
doi = {10.1007/978-3-540-92701-3\_10},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/GirardS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Gore09,
author = {Rajeev Gor{\'{e}}},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Machine Checking Proof Theory: An Application of Logic to Logic},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {23--35},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_2},
doi = {10.1007/978-3-540-92701-3\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Gore09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Gorisse09,
author = {Marie{-}H{\'{e}}l{\`{e}}ne Gorisse},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {The Art of Non-asserting: Dialogue with Nagarjuna},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {257--268},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_19},
doi = {10.1007/978-3-540-92701-3\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Gorisse09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Hamkins09,
author = {Joel David Hamkins},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Some Second Order Set Theory},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {36--50},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_3},
doi = {10.1007/978-3-540-92701-3\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Hamkins09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/KenkirethR09,
author = {Benny George Kenkireth and
Samrith Ram},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Towards Decidability of Conjugacy of Pairs and Triples},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {224--231},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_16},
doi = {10.1007/978-3-540-92701-3\_16},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/KenkirethR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Khomskii09,
author = {Yurii Khomskii},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {A General Setting for the Pointwise Investigation of Determinacy},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {185--195},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_13},
doi = {10.1007/978-3-540-92701-3\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Khomskii09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/LandesPV09,
author = {J{\"{u}}rgen Landes and
Jeff B. Paris and
Alena Vencovsk{\'{a}}},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Instantial Relevance in Polyadic Inductive Logic},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {162--169},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_11},
doi = {10.1007/978-3-540-92701-3\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/LandesPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/MahalakshmiG09,
author = {G. S. Mahalakshmi and
T. V. Geetha},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Formal Definitions of Reason Fallacies to Aid Defect Exploration in
Argument Gaming},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {243--256},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_18},
doi = {10.1007/978-3-540-92701-3\_18},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/MahalakshmiG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/MahalakshmiGKKM09,
author = {G. S. Mahalakshmi and
T. V. Geetha and
Arun Kumar and
Dinesh Kumar and
S. Manikandan},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Gautama - Ontology Editor Based on Nyaya Logic},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {232--242},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_17},
doi = {10.1007/978-3-540-92701-3\_17},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/MahalakshmiGKKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Makowsky09,
author = {Johann A. Makowsky},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Connection Matrices for MSOL-Definable Structural Invariants},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {51--64},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_4},
doi = {10.1007/978-3-540-92701-3\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Makowsky09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Maruyama09,
author = {Yoshihiro Maruyama},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {170--184},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_12},
doi = {10.1007/978-3-540-92701-3\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Maruyama09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Parikh09,
author = {Rohit Parikh},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Knowledge, Games and Tales from the East},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {65--76},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_5},
doi = {10.1007/978-3-540-92701-3\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Parikh09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/StephanM09,
author = {Igor St{\'{e}}phan and
Benoit Da Mota},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {A Unified Framework for Certificate and Compilation for {QBF}},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {210--223},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_15},
doi = {10.1007/978-3-540-92701-3\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/StephanM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Turunen09,
author = {Esko Turunen},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {A Para Consistent Fuzzy Logic},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {77--88},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_6},
doi = {10.1007/978-3-540-92701-3\_6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Turunen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Vardi09,
author = {Moshe Y. Vardi},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {From Philosophical to Industrial Logics},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {89--115},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_7},
doi = {10.1007/978-3-540-92701-3\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Vardi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Wang09,
author = {Yi Nicholas Wang},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {A Two-Dimensional Hybrid Logic of Subset Spaces},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {196--209},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_14},
doi = {10.1007/978-3-540-92701-3\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Wang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icla/2009,
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3},
doi = {10.1007/978-3-540-92701-3},
isbn = {978-3-540-92700-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-08-30 17:22 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
