-
Vérité et fiction sur Internet. Le statut des documents publiés en ligne
Remerciements à Anne Reboul, Jacques Virbel, Alexandre Gefen -
Truth and fiction on Internet
aknowledgements to Anne Reboul, Jacques Virbel and Alexandre Gefen -
An Interpretation of Belief Functions by means of a Probabilistic Multi-modal...
While belief functions may be seen formally as a generalization of probabilistic distributions, the question of the interactions between belief functions and... -
Hybrid Definability in Topological Spaces
We present some results concerning the definability of classes of topological spaces in hybrid languages. We use the language $L_t$ described in Flum and Ziegler's... -
Logic of Time Division on Intervals of Finite Size
Logic of time division (or TD) was formulated in (Tulenheimo, 2008). It is syntactically like basic modal logic with an additional unary operator but it has an... -
Insights into Modal Slash Logic and Modal Decidability
Publication in the series REPORTS IN INFORMATION SCIENCES, no 6, of SCHOOL OF INFORMATION SCIENCES, UNIVERSITY OF TAMPERE -
XML Schema, Tree Logic and Sheaves Automata
We describe a new class of tree automata, and a related logic on trees, with applications to the processing of XML documents and XML schemas. XML documents, and other... -
Metatheoretic Results for a Modal Lambda Calculus
This paper presents the proofs of the strong normalization, subject reduction, and Church-Rosser theorems for a presentation of the intuitionistic modal lambda... -
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic...
International audience -
Combining Epistemic Logic and Hennessy-Milner Logic
International audience -
Spatial and Epistemic Modalities in Constraint-Based Process Calculi
International audience -
Concurrency Makes Simple Theories Hard
International audience -
Spectroscopy of $^{219}$Ra
Truth and fiction on the Net Yannick Maignien The Internet and the World Wide Web are often praised for their prodigious informational power, but criticised at the... -
Radiation damage effects on the leach resistance of glasses and minerals: imp...
Truth and fiction on the Net Yannick Maignien The Internet and the World Wide Web are often praised for their prodigious informational power, but criticised at the... -
Fitch's Paradox and Ceteris Paribus Modalities
International audience -
'Knowable' as 'known after an announcement'
This journal version is based on our TARK 2007 conference contribution (Balbiani et al., 2007). It is quite heavily revised. Apart from a different presentation and full proof... -
Introspective Forgetting
International audience -
A non-standard Semantics for Inexact Knowledge with Introspection
Forthcoming in S. Artemov and R. Parikh, Proceedings of the ESSLLI 2006 Workshop on Rationality and Knowledge. -
EDEN a multi-detector for the study of neutron decay of giant states
Truth and fiction on the Net Yannick Maignien The Internet and the World Wide Web are often praised for their prodigious informational power, but criticised at the...
