default search action

combined dblp search
author search
venue search
publication search

ask others

11th ICLA 2025: Kolkata, India

> Home > Conferences and Workshops > ICLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icla/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/2025
C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava:
Logic and Its Applications - 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings. Lecture Notes in Computer Science 15402, Springer 2025, ISBN 978-3-031-89609-5

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/icla/EtedadialiabadiG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/EtedadialiabadiG25
Mahmood Etedadialiabadi, Su Gao:
On Extensions of Partial Isometries. 3-33
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Makowsky25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Makowsky25
Johann A. Makowsky:
The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting. 34-37
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Pinchinat25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Pinchinat25
Sophie Pinchinat:
Propositional Dynamic Logic Formula Synthesis and Some Applications. 38-49
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Ramsey25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Ramsey25
Nicholas Ramsey:
NSOP1 as a Dividing Line. 50-66

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/icla/AdsulJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/AdsulJ25
Bharat Adsul, Nehul Jain:
Asynchronous Transition System Games for Two Processes and Their Analysis. 69-83
- view
  authority control:
- export record
  dblp key:
  - conf/icla/BasuR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/BasuR25
Sankha S. Basu, Sayantan Roy:
Relational Companions of Logics. 84-96
- view
  authority control:
- export record
  dblp key:
  - conf/icla/De25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/De25
Abhishek De:
Bounded Henkin Quantifiers and the Exponential Time Hierarchy. 97-110
- view
  authority control:
- export record
  dblp key:
  - conf/icla/DingMPW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/DingMPW25
Yiwen Ding, Krishna Manoorkar, Alessandra Palmigiano, Ruoding Wang:
Monotone Modal Logic Beyond Distributivity. 111-125
- view
  authority control:
- export record
  dblp key:
  - conf/icla/GabaS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/GabaS25
Pranshu Gaba, Arnab Sur:
Recognizing Numbers. 126-137
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Martinez25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Martinez25
Santiago Jockwich Martinez:
There is Hope for Connexive Set Theories! 138-150
- view
  authority control:
- export record
  dblp key:
  - conf/icla/KhanR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/KhanR25
Md. Aquil Khan, Ranjan:
A Semantics of Basic Modal Language via a Rough Set Framework. 151-163
- view
  authority control:
- export record
  dblp key:
  - conf/icla/LoweX25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/LoweX25
Benedikt Löwe, Han Xiao:
Modal and Intermediate Logics of Spiked Boolean Algebras. 164-175
- view
  authority control:
- export record
  dblp key:
  - conf/icla/MathewPSS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/MathewPSS25
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith:
Equivalence of Deterministic Weighted Real-Time One-Counter Automata. 176-189
- view
  authority control:
- export record
  dblp key:
  - conf/icla/PaulP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/PaulP25
Sandip Paul, Bornali Paul:
Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces. 190-203
- view
  authority control:
- export record
  dblp key:
  - conf/icla/SrinivasanV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/SrinivasanV25
Bama Srinivasan, Mohan Raj Vijayan:
A Mīmāṃsā Inspired Framework Towards Temporal Reasoning in Large Language Models. 204-217
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Suzuki25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Suzuki25
Satoru Suzuki:
Measurement-Theoretic Foundations of Logic of Inexact Knowledge. 218-232
- view
  authority control:
- export record
  dblp key:
  - conf/icla/UdatsuS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/UdatsuS25
Kosuke Udatsu, Katsuhiko Sano:
Craig Interpolation for Awareness Logics. 233-246
- view
  authority control:
- export record
  dblp key:
  - conf/icla/WangW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/WangW25
Yiting Wang, Yanjing Wang:
Knowable as Knowing How to Inquire. 247-261

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.