26 citations
- Bridgewater State UniversityUS1 paper
- Brown UniversityUS1 paper
- École Polytechnique Fédérale de LausanneCH1 paper
- Embry–Riddle Aeronautical UniversityUS1 paper
- Embry-Riddle Aeronautical University Daytona Beach Florida CampusUS1 paper
- Eötvös Loránd UniversityHU1 paper
- Massachusetts Institute of TechnologyUS1 paper
- Motley Fool (United States)US1 paper
- Old Dominion UniversityUS1 paper
- University of Central FloridaUS1 paper
- University of ConnecticutUS1 paper
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2013★ 12 cited
R.E. Axiomatization of Conditional Independence
Pavel Naumov, Brittany Nicholls
The paper investigates properties of the conditional independence relation between pieces of information. This relation is also known in the database theory as embedded multivalued…
cs.LO2013★ 5 cited
Epistemic Logic for Communication Chains
Jeffrey Kane, Pavel Naumov
The paper considers epistemic properties of linear communication chains. It describes a sound and complete logical system that, in addition to the standard axioms of S5 in a multi-…
cs.LO2004
On Modal Logics of Partial Recursive Functions
Pavel Naumov
The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional…