Sciweavers

504 search results - page 3 / 101

» Observational Logic

103

CSFW
2006
IEEE

100views Security Privacy» more CSFW 2006»

A Temporal Logic Characterisation of Observational Determinism

15 years 6 months ago

A Temporal Logic Characterisation of Observational Determinism

Download www.loria.fr

Marieke Huisman, Pratik Worah, Kim Sunesen

claim paper

Read More »

85

BIOSYSTEMS
2007

74views more BIOSYSTEMS 2007»

Internal logic viewed from observation space: Theory and a case study

15 years 3 months ago

Internal logic viewed from observation space: Theory and a case study

Download eprints3.math.sci.hokudai.ac.jp

Motohiko Hatakeyama, Ichiro Tsuda

claim paper

Read More »

72

ENTCS
2006

112views more ENTCS 2006»

An Observational Model for Spatial Logics

15 years 3 months ago

An Observational Model for Spatial Logics

Download ctp.di.fct.unl.pt

Emilio Tuosto, Hugo Torres Vieira

claim paper

Read More »

112

JLP
2006

63views more JLP 2006»

Constructor-based observational logic

15 years 2 months ago

Constructor-based observational logic

Download www.lsv.ens-cachan.fr

Michel Bidoit, Rolf Hennicker

claim paper

Read More »

145

AIML
2006

144views Logical Reasoning» more AIML 2006»

Isomorphism via translation

15 years 4 months ago

Isomorphism via translation

Download www.jaist.ac.jp

We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...

Tadeusz Litak

claim paper

Read More »

« Prev « First page 3 / 101 Last » Next »