ICLA 2025: INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2025

This page contains an index consisting of author-provided keywords.

(
(EPPA)	On Extensions of Partial Isometries
A
additive monoids	Recognizing Numbers
additively-semiordered qualitative conditional probability relation	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
Algebra-valued models
algebraic automata theory	Recognizing Numbers
Answer Set Programming	Coinductive Predicate Answer Set Programming
Approximation operator	Semantics of Basic Modal Language via a Rough Set Framework
Arbitrary public announcement logic	Knowable as Knowing How to Inquire
Arithmetic	Contraction free arithmetic
Asynchronous Automata	Asynchronous transition system games for two processes and their analysis
Awareness Logic	Craig Interpolation for Awareness Logics
Axiomatization	Semantics of Basic Modal Language via a Rough Set Framework
B
Because	On the Logic of Reasons For
Bounded Quantifier	Bounded Henkin Quantifiers and the Exponential Time Hierarchy
bounded rationality	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
C
Causes	On the Logic of Reasons For
chain-of-thought prompting	Do LLMs reason by following rules?
Cohen	From Euclid and Eudoxus to Skolem, Godel, and Cohen: Constructions of Structures and Proofs of Uniqueness
coherent	On Extensions of Partial Isometries
Coinductive Semantics	Coinductive Predicate Answer Set Programming
Companion logics	Relational Companions of Logics
Computational Complexity of Reasoning	Public Observation: A Decidable Fragment of Epistemic Planning
Computational Strength	Contraction free arithmetic
connexive logics
content effect	Do LLMs reason by following rules?
Contraction	Contraction free arithmetic
Craig Interpolation	Craig Interpolation for Awareness Logics
D
deductive reasoning	Do LLMs reason by following rules?
Distributed Synthesis	Asynchronous transition system games for two processes and their analysis
DQBF	Bounded Henkin Quantifiers and the Exponential Time Hierarchy
E
epistemic logic	Measurement-Theoretic Foundations of Logic of Inexact Knowledge Craig Interpolation for Awareness Logics
Equivalence	Equivalence of Deterministic Weighted Real-time One-Counter Automata
Exponential Hierarchy	Bounded Henkin Quantifiers and the Exponential Time Hierarchy
Expressivity	Knowable as Knowing How to Inquire
extension property for partial automorphisms	On Extensions of Partial Isometries
F
Finite strategy	Asynchronous transition system games for two processes and their analysis
foundations	From Euclid and Eudoxus to Skolem, Godel, and Cohen: Constructions of Structures and Proofs of Uniqueness
Fuzzy Time Linear Temporal Logic	Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces
G
Game-theoretic models	Asynchronous transition system games for two processes and their analysis
Godel	From Euclid and Eudoxus to Skolem, Godel, and Cohen: Constructions of Structures and Proofs of Uniqueness
Godel's First Incompleteness Theorem	Floyd & Putnam (and others) on Wittgenstein on Gödel’s First Incompleteness Theorem
H
Henkin Quantifier	Bounded Henkin Quantifiers and the Exponential Time Hierarchy
Hrushovski property	On Extensions of Partial Isometries
I
Imperative logc	A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models
Imperfect Information	Bounded Henkin Quantifiers and the Exponential Time Hierarchy
indiscriminability	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
Induction Rule	Contraction free arithmetic
inexact knowledge	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
Inquiry	Knowable as Knowing How to Inquire
intermediate logic	Modal and intermediate logics of spiked Boolean algebras
J
just noticeable difference (JND)	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
K
KK principle	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
Knowability	Knowable as Knowing How to Inquire
Knowing how	Knowable as Knowing How to Inquire
Knowledge Representation and Reasoning	Public Observation: A Decidable Fragment of Epistemic Planning
L
large language models	A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models Do LLMs reason by following rules?
Lattice-based modal logic	Monotone Modal Logic beyond Distributivity
locally finite	On Extensions of Partial Isometries
Logics of explanation	On the Logic of Reasons For
Logics of variable inclusion	Relational Companions of Logics
Ludwig Wittgenstein	Floyd & Putnam (and others) on Wittgenstein on Gödel’s First Incompleteness Theorem
M
margin for error principle	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
mathematical logic	From Euclid and Eudoxus to Skolem, Godel, and Cohen: Constructions of Structures and Proofs of Uniqueness
Mathematical Realism	Floyd & Putnam (and others) on Wittgenstein on Gödel’s First Incompleteness Theorem
Mazurkiewicz Traces	Asynchronous transition system games for two processes and their analysis
measurement theory	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
modal logic	Modal and intermediate logics of spiked Boolean algebras
Model of Concurrency	Asynchronous transition system games for two processes and their analysis
Monotone modal logic	Monotone Modal Logic beyond Distributivity
Monotonic logic	Semantics of Basic Modal Language via a Rough Set Framework
Multi-valued SAT	Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces
multiplicative monoids	Recognizing Numbers
Mīmāṁsa	A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models
N
Neighborhood semantics	Monotone Modal Logic beyond Distributivity
O
One-counter automata	Equivalence of Deterministic Weighted Real-time One-Counter Automata
P
paraconsistent logics
partial isometry	On Extensions of Partial Isometries
Passive Learning	Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces
Philosophical logic	On the Logic of Reasons For
Polarity-based semantics	Monotone Modal Logic beyond Distributivity
Predicate Logic	Coinductive Predicate Answer Set Programming
Proof Theory	Contraction free arithmetic
Propositional Awareness	Craig Interpolation for Awareness Logics
Provably Recursive Functions	Contraction free arithmetic
psychophysics	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
R
Reasoning about actions	Public Observation: A Decidable Fragment of Epistemic Planning
Reasoning about Knowledge and Belief	Public Observation: A Decidable Fragment of Epistemic Planning
Reasons	On the Logic of Reasons For
recognizability	Recognizing Numbers
representation theorem	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
rule-following	Do LLMs reason by following rules?
S
S-extension	On Extensions of Partial Isometries
S-map	On Extensions of Partial Isometries
Sequent Calculus	Craig Interpolation for Awareness Logics
Skolem	From Euclid and Eudoxus to Skolem, Godel, and Cohen: Constructions of Structures and Proofs of Uniqueness
spiked Boolean algebras	Modal and intermediate logics of spiked Boolean algebras
structures	From Euclid and Eudoxus to Skolem, Godel, and Cohen: Constructions of Structures and Proofs of Uniqueness
Substructural Logics	Contraction free arithmetic
T
Temporal Logic	Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces
Temporal Reasoning	A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models
Time Complexity	Bounded Henkin Quantifiers and the Exponential Time Hierarchy
Timothy Williamson	Measurement-Theoretic Foundations of Logic of Inexact Knowledge
U
ultraextensive	On Extensions of Partial Isometries
ultrahomogeneous	On Extensions of Partial Isometries
ultrametric	On Extensions of Partial Isometries
Universal logic	Relational Companions of Logics
W
Weighted automata	Equivalence of Deterministic Weighted Real-time One-Counter Automata
Why	On the Logic of Reasons For

Disclaimer | Powered by EasyChair Smart Program