Predicate abstraction

Most Relevant Related Tags

• open sentence [63%]
  
• modal operator [63%]
  
• modal logic [63%]
  
• logic [63%]
  

This is the cloud of related tags for the Predicate abstraction concept

logic modal logic modal operator open sentence