![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:conf/icla:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.