Vi ger en ny karaktärisering av nyktra utrymmen i termer av deras helt distributiva lattice av mättade uppsättningar. Denna karakterisering används för att utöka Abramskys resultat om en domänlogik för övergångssystem. Den Lindenbaum algebra som genereras av Abramsky nitary logik är en distributiv lattice dual till en SFP-domain som erhålls som en lösning av en rekursiv domänekvation. Vi bevisar att den Lindenbaum algebra som skapas av den in nitary logiken är en helt distributiv lattice dual till samma SFP-domain. Som en följd av detta erhålls sundhet och fullständighet i nitärlogiken för en klass av övergångssystem som är data intressant.
Sundhet och fullständighet i en oändlig modal logik för övergångssystem har bevisats i REF med hjälp av en topologisk dualitet.
Towards an infinitary logic of domains: Abramsky logic for transition systems
{'venue': 'Inform. and Comput', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}