711 search results - page 123 / 143 » Modal Logics are Coalgebraic |
FUZZIEEE
2007
IEEE
15 years 1 months ago
2007
IEEE
Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with thi...
124
click to vote
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
SLOGICA
2008
14 years 10 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
LORI
2009
Springer
15 years 4 months ago
2009
Springer
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...