{'fraction_non_alphanumeric': 0.03625954198473282, 'fraction_numerical': 0.022900763358778626, 'mean_word_length': 4.147058823529412, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Ramification and Linear Logic

This paper is concerned with the use of linear logic as an approach to the frame problem; it extends the work in [18, 20, 19, 21]. It is a common observation that linear logic “solves the frame problem”, and by this is usually meant that linear logic can be used to encode fairly simple reasoning about changes in the manner of Strips. Typically, one shows that executions of an action α in a state σ1, resulting in a state σ2, correspond to linear logic proofs of the sequent σ′ 1, α ′ ` σ′ 2