68
Publications
2.3K
Citations
29
H-Index
1988
Active since
Andreas Herzig is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and formal methods.
Top concepts
Automated ReasoningEngineeringFormal MethodsComputer ScienceEpistemologySemanticsCommunicationSocial SciencesCognitive ScienceFormal Verification
Publications per year
1988–2022
68
68
‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch et al. · The Review of Symbolic Logic · 2008 · 135 citations · Full text
A logic of trust and reputation
Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner et al. · Logic Journal of IGPL · 2009 · 97 citations
Andreas Herzig, Nicolas Troquard · 2006 · 75 citations
Rows per page
1–5 of 68