ICLA 2021 |
9th Indian Conference on Logic and its Applications |
 | |
ICLA 2021 |
9th Indian Conference on Logic and its Applications |
|
| |
| Home | Programme | Invited Speakers | Panel discussions | Call for Papers | Accepted Papers | Important dates | Registration | Committee | Contact |
Accepted Papers
Aggregating Relational Structures
On the Characterizations of Tarski-type and Lindenbaum-type
Logical Structures
Dualities and logical aspects of Baire functions
On computability-theoretic properties of Heyting algebras
An Epistemic Separation
Logic with Action Models
AGM Belief Revision About Logic
Analytic Multi-Succedent Sequent Calculus for Combining Intuitionistic and
Classical Propositional Logic
Covid-19 and Knowledge Based Computation
Relative Expressive Powers of First Order Modal Logic and Term Modal Logic
Reasoning about the Robustness of Self-organizing Multi-agent Systems
(WIP)
Plenitude
Commonly Knowing Whether
A Note on Hybrid Modal Logic with Propositional Quantifers
A Logic for Instrumental Desire
Feferman-Vaught
decomposition for prefix classes of first order logic
Multiple Task
Specification inspired from Mimamsa for Reinforcement Learning Models (Work in Progress)
Double Boolean Algebras with Operators
$L$-Topology via Generalised Geometric Logic
Equivalance of Pointwise
and Continuous Semantics of FO with Linear Constraints
Quotient models for a class of non-classical set theories
A Clock-Optimal Hierarchical Monitoring Automaton for MITL
|
News and updates
|