Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring to...
Saved in:
| Main Authors | , |
|---|---|
| Format | eBook |
| Language | English |
| Published |
Netherlands
Springer Nature
2019
Springer Berlin / Heidelberg Springer |
| Edition | 1 |
| Series | LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Subjects | |
| Online Access | Get full text |
| ISBN | 3662587718 9783662587713 366258770X 9783662587706 |
Cover
| Abstract | This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic. |
|---|---|
| AbstractList | This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic. |
| Author | Khan, Aquil Manuel, Amaldev |
| Author_xml | – sequence: 1 fullname: Khan, Aquil – sequence: 2 fullname: Manuel, Amaldev |
| BookMark | eNpNz0tLAzEUBeCID3Rq_4Cr4kZcFHLzuMks61C1UHAjbockk7Rjx2ScjPr3fVTE1eHAx4FTkKOYoj8gBUdkUisF-vB_OSEFUI1cCaB4SqY5P1NKGQBKiWfkYp02rZuZ2MxWY54t-r5rnRnbFPM5OQ6my376mxPydLt8rO7n64e7VbVYzw0gSJhzFNCUCMGWTiknHHC0wZUMrbBeBuWaBliDApmTUjgWpKON5DowazUNfEKu98Mm7_xH3qZuzPV7521Ku1yXSv-94V_2am_7Ib2--TzWP8z5OA6mq5c3lSxBl_xbXu6lM9l0bWzrlxTTZjD9NtdSMKBc8E9xr1fR |
| ContentType | eBook |
| DBID | I4C |
| DEWEY | 511 |
| DatabaseName | Casalini Torrossa eBooks Institutional Catalogue |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| EISBN | 3662587718 9783662587713 |
| Edition | 1 1st Edition 2019 |
| Editor | Khan, Md. Aquil Manuel, Amaldev |
| Editor_xml | – sequence: 1 fullname: Khan, Md. Aquil – sequence: 2 fullname: Manuel, Amaldev |
| ExternalDocumentID | 9783662587713 EBC5918933 5421034 |
| GroupedDBID | 0D6 0DA 38. AABBV AEDXK AEKFX AEZAY AIFIR ALMA_UNASSIGNED_HOLDINGS AYMPB BBABE CXBFT CZZ EXGDT FCSXQ I4C IEZ LDH MGZZY NSQWD OORQV SBO TPJZQ TSXQS Z88 AEJLV Z83 |
| ID | FETCH-LOGICAL-a16151-3641d961fb9c77c4c136bfc926b4be5f7cdd12d6462c554c2f5c0d538f2bb80f3 |
| ISBN | 3662587718 9783662587713 366258770X 9783662587706 |
| IngestDate | Fri Nov 08 04:32:53 EST 2024 Thu Apr 24 04:17:02 EDT 2025 Tue Nov 14 22:56:49 EST 2023 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a16151-3641d961fb9c77c4c136bfc926b4be5f7cdd12d6462c554c2f5c0d538f2bb80f3 |
| OCLC | 1086374106 |
| PQID | EBC5918933 |
| PageCount | 210 |
| ParticipantIDs | askewsholts_vlebooks_9783662587713 proquest_ebookcentral_EBC5918933 casalini_monographs_5421034 |
| PublicationCentury | 2000 |
| PublicationDate | 2019 2019-02-13 |
| PublicationDateYYYYMMDD | 2019-01-01 2019-02-13 |
| PublicationDate_xml | – year: 2019 text: 2019 |
| PublicationDecade | 2010 |
| PublicationPlace | Netherlands |
| PublicationPlace_xml | – name: Netherlands – name: Berlin, Heidelberg |
| PublicationSeriesTitle | LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| PublicationYear | 2019 |
| Publisher | Springer Nature Springer Berlin / Heidelberg Springer |
| Publisher_xml | – name: Springer Nature – name: Springer Berlin / Heidelberg – name: Springer |
| SSID | ssj0002116556 |
| Score | 2.0979116 |
| Snippet | This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The... |
| SourceID | askewsholts proquest casalini |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Logic, Symbolic and mathematical-Congresses Mathematics. General principles |
| Subtitle | 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings |
| TableOfContents | Intro -- Preface -- Organization -- Short Papers -- On the Average Complexity of SAT -- What Did Tarski Have in Mind with Elementary Geometry and Its Decidability? -- Contents -- Unification in Modal Logic -- References -- Propositional Modal Logic with Implicit Modal Quantification -- 1 Introduction -- 2 Implicitly Quantified Modal Logic (IQML) -- 3 IQML Bisimulation and Elementary Equivalence -- 4 Bisimulation Games and Invariance Theorem -- 5 Satisfiability Problem -- 6 Discussion -- References -- Infinite Liar in a (Modal) Finitistic Setting -- 1 Introduction -- 2 Arithmetization of Yablo Sentences -- 3 Potentially Infinite Domains and sl-Semantics -- 4 Modal Finitistic Semantics -- 5 Yablo Sequences and Modal Interpretation of Quantifiers -- References -- The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5 -- 1 Introduction -- 2 Some Basic Definitions -- 3 Sequent Calculus of tqBa5 -- 4 FEP for tqBa5 -- 5 Concluding Remarks -- References -- Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results -- 1 The Modal -Calculus -- 2 Higher-Order Fixpoint Logic -- 2.1 Results on HFL -- References -- A Modal Aleatoric Calculus for Probabilistic Reasoning -- 1 Introduction -- 2 Related Work -- 3 Syntax and Semantics -- 3.1 Syntax -- 3.2 Semantics -- 3.3 Example -- 4 Axioms for the Modal Aleatoric Calculus -- 4.1 The Aleatoric Calculus -- 4.2 The Modal Aleatoric Calculus -- 5 Expressivity -- 6 Case Study -- 7 Conclusion -- References -- Public Announcements for Epistemic Models and Hypertheories -- 1 Introduction -- 2 Epistemic Models and Hypertheories -- 3 Public Announcements -- 4 The Case of Knowledge Change in Epistemic Models -- 5 Conclusion -- References -- Revisiting the Generalized Łoś-Tarski Theorem -- 1 Introduction -- 2 Preliminaries and Background -- 2.1 The Generalized Łoś-Tarski Theorem 2 Terminology -- 3 Congruences of Terms -- 4 Transfer Functions -- 5 Indefinite Assignment -- 6 Data Flow Analysis Frameworks -- 7 Herbrand Equivalence -- 8 MOP Characterization -- 9 Conclusion -- References -- Logic Without Language -- 1 Davidson on Animals -- 2 But Is Davidson Correct? -- 3 Introduction -- 4 Agent? Or Machine? -- 5 Two Computer Scientists Respond -- 6 And a Psychologist Offers His View -- 7 Umwelts -- 8 A Little Bit of Mathematics -- 9 Uninformed Agent -- 10 Better Informed Agent -- 11 Learning More -- 12 Symbiosis -- 13 Animal Logic -- 14 A General Framework: Theories Enter -- 15 The Usefulness of a Theory -- 16 Can Logic Exist Without Language? -- 17 Conclusion -- References -- Towards a Constructive Formalization of Perfect Graph Theorems -- 1 Introduction -- 2 Overview of Lovász Replication Lemma -- 3 Modeling Finite Simple Graphs -- 3.1 Vertices as Constructive Sets -- 3.2 Decidable Edge Relation -- 3.3 Graph Isomorphism -- 3.4 Graph Constructions -- 4 Constructive Proof of Lovász Replication Lemma -- 5 Conclusions and Future Work -- References -- Author Index 3 A New Proof of GLT(k) -- 4 A Stronger Failure of Łoś-Tarski Theorem in the Finite -- 5 Conclusion and Future Directions -- References -- Model Theory for Sheaves of Modules -- 1 Introduction -- 2 Model Theory for Modules -- 3 Presheaves and Sheaves of Modules -- 4 Model Theory for Presheaves of Modules -- 5 Model Theory for Sheaves of Modules -- References -- Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey -- 1 Introduction -- 2 The Two-Variable Fragment and its Relatives -- 3 Transitivity and Equivalence -- References -- The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation -- 1 Introduction -- 2 FO3 and the Calculus of Relations -- 2.1 Elimination of Relational Converse (Using the Identity Relation) -- 2.2 Elimination of the Identity Relation -- 3 Reductions to the One Binary Relation Case -- 3.1 A Conservative Reduction Using Identity -- 3.2 A Conservative Reduction Not Using Identity -- 4 Conclusion -- References -- Satisfaction Classes via Cut Elimination -- 1 Introduction -- 2 Preliminaries -- 3 From Consistent M-Logic to a Truth Class -- 4 Consistency of M-Logic -- References -- Sequent Calculi for Normal Update Logics -- 1 Introduction -- 2 Preliminaries -- 3 Sequent Calculi for Normal Update Logics -- 4 Subformula Property and Decidability -- References -- Logics for Rough Concept Analysis -- 1 Introduction -- 2 Preliminaries -- 3 Motivation: Kent's Rough Concept Analysis -- 4 Kent Algebras -- 5 Multi-type Presentation of Kent Algebras -- 6 Multi-type Calculi for the Logics of Kent Algebras -- A Properties -- A.1 Soundness for Perfect HK Algebras -- A.2 Completeness -- A.3 Conservativity -- A.4 Cut Elimination and Subformula Property -- References -- A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks -- 1 Introduction |
| Title | Logic and Its Applications |
| URI | http://digital.casalini.it/9783662587713 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=5918933 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783662587713 |
| Volume | 11600 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEF77uNiTT2yrEsRrJMm-kpNoqZRiPdXSW9hH9qJUMKkHf72zeTWtIuhl2SxkYOZbZmc2800Quo4E7AMsEteHiUswYa4MDHUNC4ihKjGcW77z7IlNnsl0SZetvdtG1dI6kzfq80deyX9QhTXA1bJk_4BsLRQWYA74wggIw7gT_NaPJXPZOqyilDdLi0iyefVWZvGWOLSVxVe3eLZEuewkUid5mEGOEnJecDZ3ukNTAjkbJm3U5hxyz-7dePq4qC-ZAttchzLLaamEhEXXoY3QHuqJ9AU8KnjbLLXHs0iFZWV-O53yI3d-gLqJ5WEcolayOkK9Wd1eNj1Gg1x_B_R3QH-nqf8JWjyM56OJW_7kwRU22PRdzIivI-YbGSnOFVE-ZtKoKGCSyIQarrT2A80ICxTEPgp2kvI0-GkTSBl6Bp-izuptlZwhJ9DSaO5JzxCPaKMFiyjRPBLGD0XiiT66aqgaf7zmH6TTeMsefTSsLBDDfikah6dxaeg-ciqjxPnbZQ1tPL4f0ciH6A8PfhUwRPsb_M9RJ3tfJxcQ12TyskTvC5-W9rw |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Logic+and+Its+Applications&rft.date=2019-01-01&rft.pub=Springer+Nature&rft.isbn=9783662587713&rft.externalDocID=5421034 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97836625%2F9783662587713.jpg |