5 search results - page 1 / 1 » Indexed Flows in Temporal x Modal Logic with Functional Sema... |
59
Voted
TIME
2002
IEEE
15 years 3 months ago
2002
IEEE
101
click to vote
AML
2010
14 years 10 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
AML
2006
14 years 10 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
AAI
2010
14 years 5 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
113
click to vote
APAL
2005
14 years 10 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...