- 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