88 search results - page 3 / 18 » A Note on Comparing Semantics for Conditionals |
TBILLC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
CSFW
1996
IEEE
13 years 9 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
EDM
2010
13 years 3 months ago
2010
Dynamic assessment (DA) has been advocated as an interactive approach to conduct assessments to students in the learning systems as it can differentiate student proficiency at a fi...
MSS
2008
IEEE
13 years 5 months ago
2008
IEEE
This note compares public and private information certification in a simple class of communication games with one sender and two receivers. It also emphasizes the role of belief c...
CSL
2007
Springer
13 years 9 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...