IMSc
Video Portal Page
Home
Physics
TCS
Others
Login
Photos
You are here
Home
» TCS
TCS
Constructive decision theory with subjective states and outcomes
Carnap and McKinsey Topics in the Pre history of Possible worlds semantics
Bisimulation and coverings for graphs and hyper graphs
Yablo sequences in truth theories
Public Announcements for Non-omniscient Agents
Characterizing Successful Formulas: the Multi-agent Case
The birth of proof modality and deductive reasoning
Probabilistic IF logic
Logic of Non Monotonic Interactive Proofs
Forcing axioms finite conditions and some more
Pages
« first
‹ previous
…
11
12
13
14
15
16
17
18
19
…
next ›
last »
Copyright © 2024, IMSc.