activity
20212026
most citedAn Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

Definability of Functional Properties in the Basic Modal-Temporal Language over Ordered Frames

Alfredo Burrieza

We study the expressive power of the simplest modal-temporal language, obtained by adding Prior's temporal operators \(G\) and \(H\) to the basic modal language with \(\Box\). This…