Home » Authors » Philippe Balbiani, Levan Uridia

Philippe Balbiani, Levan Uridia

Public reference bibliography and cataloged PDF materials authored or published by Philippe Balbiani, Levan Uridia.

Found 1 document(s) Page 1 of 1

Completeness and definability of a modal logic interpreted over iterated strict partial orders

Year: 2012 • Source: hal.science • Listed PDF

Any strict partial order R on a nonempty set X defines a function θR which associates to each strict partial order S ⊆ R on X the strict partial order θR(S) = R o S on X. Owing to the strong relationships between Alexand...