ICLA 2025: INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2025

A
Adsul, Bharat	Asynchronous transition system games for two processes and their analysis
Arias, Joaquín	Coinductive Predicate Answer Set Programming
B
Basu, Sankha S.	Relational Companions of Logics
Beklemishev, Lev	Contraction free arithmetic
D
De, Abhishek	Bounded Henkin Quantifiers and the Exponential Time Hierarchy
Ding, Yiwen	Monotone Modal Logic beyond Distributivity
G
Gaba, Pranshu	Recognizing Numbers
Gao, Su	On Extensions of Partial Isometries
Ghosh, Avijeet	Public Observation: A Decidable Fragment of Epistemic Planning
Ghosh, Swapnil	Contraction free arithmetic
Gupta, Gopal	Coinductive Predicate Answer Set Programming
J
Jain, Nehul	Asynchronous transition system games for two processes and their analysis
K
Khan, Md. Aquil	Semantics of Basic Modal Language via a Rough Set Framework
L
Loewe, Benedikt	Modal and intermediate logics of spiked Boolean algebras
M
Makowsky, Janos	The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting
Manoorkar, Krishna	Monotone Modal Logic beyond Distributivity
Mathew, Prince	Equivalence of Deterministic Weighted Real-time One-Counter Automata
McHugh, Dean	On the Logic of Reasons For
N
Natarajan, Karthik Prasanna	Do LLMs reason by following rules?
Nerode, Anil	From Euclid and Eudoxus to Skolem, Godel, and Cohen: Constructions of Structures and Proofs of Uniqueness
P
Palmigiano, Alessandra	Monotone Modal Logic beyond Distributivity
Patwardhan, Mangesh	Floyd & Putnam (and others) on Wittgenstein on Gödel’s First Incompleteness Theorem
Paul, Bornali	Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces
Paul, Sandip	Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces
Penelle, Vincent	Equivalence of Deterministic Weighted Real-time One-Counter Automata
Pinchinat, Sophie	Propositional Dynamic Logic Formula Synthesis and some Applications
R
Ramsey, Nicholas	NSOP1 as a dividing line
Ranjan,	Semantics of Basic Modal Language via a Rough Set Framework
Roy, Sayantan	Relational Companions of Logics
S
Saivasan, Prakash	Equivalence of Deterministic Weighted Real-time One-Counter Automata
Salazar, Elmer	Coinductive Predicate Answer Set Programming
Sano, Katsuhiko	Craig Interpolation for Awareness Logics
Shamkanov, Daniyar	Contraction free arithmetic
Sreejith, A V	Equivalence of Deterministic Weighted Real-time One-Counter Automata
Srinivasan, Bama	A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models
Sur, Arnab	Recognizing Numbers
Suzuki, Satoru	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
U
Udatsu, Kosuke	Craig Interpolation for Awareness Logics
V
Vijayan, Mohan Raj	A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models
W
Wang, Ruoding	Monotone Modal Logic beyond Distributivity
Wang, Yanjing	Knowable as Knowing How to Inquire
Wang, Yiting	Knowable as Knowing How to Inquire
X
Xiao, Han	Modal and intermediate logics of spiked Boolean algebras

Disclaimer | Powered by EasyChair Smart Program