Sciweavers

5 search results - page 1 / 1
» Indexed Flows in Temporal x Modal Logic with Functional Sema...
Sort
View
57
Voted
TIME
2002
IEEE
15 years 2 months ago
Indexed Flows in Temporal x Modal Logic with Functional Semantics
Alfredo Burrieza, Inman P. de Guzmán, Emili...
AML
2010
118views more  AML 2010»
14 years 10 months ago
The modal logic of continuous functions on the rational numbers
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...
Philip Kremer
AML
2006
87views more  AML 2006»
14 years 9 months ago
The modal logic of continuous functions on cantor space
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'...
Philip Kremer
AAI
2010
94views more  AAI 2010»
14 years 4 months ago
Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application
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...
Ken Kaneiwa, Norihiro Kamide
APAL
2005
125views more  APAL 2005»
14 years 9 months ago
Dynamic topological logic
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...
Philip Kremer, Grigori Mints