Topology and duality in modal logic

1988/03/01 by Giovanni Sambin, Virginia Vaccaro · 6 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation

paper · doi:10.1016/0168-0072(88)90021-8

Citations

• Metamathematics of modal logic

Cited by

• A Bitopological Duality for Some Subordination Boolean Algebras
• The bounded proof property via step algebras and step frames
• Some notes on Esakia spaces
• On the symmetry behind duality
• Dualities in modal logic from the point of view of triples
• Subordination algebras in modal logic