- Modal Characterisations of Behavioural Pseudometrics
2015/09/11 by Yuxin Deng, Wenjie Du, Deng, Yuxin +3 · 1 citation
Computer Science · Engineering · Mathematics · #68Q85 #Accessibility relation #Advanced Algebra and Logic #Algebra over a field #Algorithm #Artificial intelligence #Bisimulation #Class (philosophy) #Computer science #Description logic #Discrete mathematics #Dynamic logic (digital electronics) #Engineering #Expansive #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Mathematics #Metric (unit) #Modal #Modal logic #Modal μ-calculus #Multimodal logic #Normal modal logic #Physics #Probabilistic logic #Pure mathematics #State (computer science) #Theoretical computer science #acm:68Q85 #cs.LO #msc:68Q85
- Modal Logics and mu-Calculi: An Introduction
2001/01/01 by Julian Bradfield, Colin Stirling · 1 citation
Computer Science · Engineering · Mathematics · Medicine · #Accessibility relation #Algebra over a field #Algorithm #Calculus (dental) #Computer science #Description logic #Dynamic logic (digital electronics) #Engineering #Formal Methods in Verification #Geometry #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Materials science #Mathematics #Medicine #Modal #Modal logic #Multimodal logic #Normal modal logic #Pure mathematics #Rotation formalisms in three dimensions #S5 #Theoretical computer science