2501 search results - page 3 / 501 » Logics with Rank Operators |
EUSFLAT
2009
13 years 3 months ago
2009
FOSSACS
2008
Springer
13 years 6 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
IISWC
2009
IEEE
13 years 12 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
TPHOL
2009
IEEE
13 years 12 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...