Sciweavers

825 search results - page 59 / 165
» Modal Logics with Counting
Sort
View
FOSSACS
2010
Springer
15 years 1 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
MLQ
2010
78views more  MLQ 2010»
15 years 1 months ago
Analyzing completeness of axiomatic functional systems for temporal × modal logics
Alfredo Burrieza, Inmaculada Perez de Guzmá...
CORR
2009
Springer
63views Education» more  CORR 2009»
15 years 25 days ago
Modal Logic and the Approximation Induction Principle
Maciej Gazda, Wan Fokkink
CSE
2009
IEEE
15 years 24 days ago
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach
Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshi...