92 citations · 192 across the 19 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 4 cited
Logics for Epistemic Actions: Completeness, Decidability, Expressivity
Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki
We consider dynamic versions of epistemic logic as formulated in Baltag and Moss "Logics for epistemic programs" (2004). That paper proposed a logical language (actually families o…
cs.LO2022
A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting
Lawrence S. Moss, Thomas F. Icard
This paper obtains a completeness result for inequational reasoning with applicative terms without variables in a setting where the intended semantic models are the full structures…