You are here

ICLA International Conference on Logic and its Applications

Bisimulation and coverings for graphs and hyper graphs

Probabilistic IF logic

Logic of Non Monotonic Interactive Proofs

Forcing axioms finite conditions and some more

Validity of Imperative Arguments

Characterizing Successful Formulas: the Multi-agent Case

Public Announcements for Non-omniscient Agents

Yablo sequences in truth theories

Agent-time Epistemics and Coordination

Contributed talk by Soma Dutta and Invited talk

Pages

Copyright © 2024, IMSc.