Action Models with Postconditions

doi:10.13053/cys-21-3-2808

(mysql): SET NAMES 'utf8'

(mysql): select version()

(mysql): SELECT * FROM sessions WHERE session_id = 'glv50fhe9gvtll542bvmmgvld2'

(mysql): INSERT INTO sessions (session_id, ip_address, user_agent, created, last_used, remember, data, acting_as) VALUES ('glv50fhe9gvtll542bvmmgvld2', '216.73.216.52', 'Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)', 1774311744, 1774311744, 0, '', 0)

(mysql): SELECT * FROM journals WHERE path = 'CyS'

(mysql): SELECT * FROM site

(mysql): SELECT pa.*, a.*, COALESCE(stl.setting_value, stpl.setting_value) AS section_title, COALESCE(sal.setting_value, sapl.setting_value) AS section_abbrev FROM published_articles pa, articles a LEFT JOIN sections s ON s.section_id = a.section_id LEFT JOIN section_settings stpl ON (s.section_id = stpl.section_id AND stpl.setting_name = 'title' AND stpl.locale = 'en_US') LEFT JOIN section_settings stl ON (s.section_id = stl.section_id AND stl.setting_name = 'title' AND stl.locale = 'en_US') LEFT JOIN section_settings sapl ON (s.section_id = sapl.section_id AND sapl.setting_name = 'abbrev' AND sapl.locale = 'en_US') LEFT JOIN section_settings sal ON (s.section_id = sal.section_id AND sal.setting_name = 'abbrev' AND sal.locale = 'en_US') WHERE pa.article_id = a.article_id AND pa.public_article_id = '2808'

(mysql): SELECT g.*, a.file_name, a.original_file_name, a.type, a.file_type, a.file_size, a.date_uploaded, a.date_modified FROM article_galleys g LEFT JOIN article_files a ON (g.file_id = a.file_id) WHERE g.article_id = '2808' ORDER BY g.seq

(mysql): SELECT * FROM authors WHERE submission_id = 2808 ORDER BY seq

(mysql): SELECT * FROM author_settings WHERE author_id = '6397'

(mysql): SELECT * FROM author_settings WHERE author_id = '6398'

(mysql): SELECT * FROM article_settings WHERE article_id = '2808'

(mysql): SELECT s.*, a.file_name, a.original_file_name, a.file_type, a.file_size, a.date_uploaded, a.date_modified FROM article_supplementary_files s LEFT JOIN article_files a ON (s.file_id = a.file_id) WHERE s.article_id = '2808' ORDER BY s.seq

(mysql): SELECT i.* FROM issues i WHERE issue_id = '237'

(mysql): SELECT * FROM issue_settings WHERE issue_id = '237'

(mysql): SELECT iss.subscription_id FROM institutional_subscriptions iss, subscriptions s, subscription_types st WHERE POSITION(UPPER(LPAD(iss.domain, LENGTH(iss.domain)+1, '.')) IN UPPER(LPAD('216.73.216.52', LENGTH('216.73.216.52')+1, '.'))) != 0 AND iss.domain != '' AND iss.subscription_id = s.subscription_id AND s.journal_id = '1' AND s.status = 1 AND s.type_id = st.type_id AND st.institutional = 1 AND ((st.non_expiring = 1) OR (st.non_expiring = 0 AND ('2026-03-23 18:22:24' >= s.date_start AND '2026-03-23 18:22:24' <= s.date_end))) AND (st.format = 1 OR st.format = 17)

(mysql): SELECT isip.subscription_id FROM institutional_subscription_ip isip, subscriptions s, subscription_types st WHERE ((isip.ip_end IS NOT NULL AND '3628718132' >= isip.ip_start AND '3628718132' <= isip.ip_end AND isip.subscription_id = s.subscription_id AND s.journal_id = '1' AND s.status = 1 AND s.type_id = st.type_id AND st.institutional = 1 AND ((st.non_expiring = 1) OR (st.non_expiring = 0 AND ('2026-03-23 18:22:24' >= s.date_start AND '2026-03-23 18:22:24' <= s.date_end))) AND (st.format = 1 OR st.format = 17)) OR (isip.ip_end IS NULL AND '3628718132' = isip.ip_start AND isip.subscription_id = s.subscription_id AND s.journal_id = '1' AND s.status = 1 AND s.type_id = st.type_id AND st.institutional = 1 AND ((st.non_expiring = 1) OR (st.non_expiring = 0 AND ('2026-03-23 18:22:24' >= s.date_start AND '2026-03-23 18:22:24' <= s.date_end))) AND (st.format = 1 OR st.format = 17)))

(mysql): SELECT * FROM sections WHERE section_id = '12'

(mysql): SELECT * FROM section_settings WHERE section_id = '12'

(mysql): SELECT * FROM sections WHERE section_id = '12'

(mysql): SELECT * FROM section_settings WHERE section_id = '12'

(mysql): SELECT v.* FROM versions v LEFT JOIN plugin_settings ps ON lower(v.product_class_name) = ps.plugin_name AND ps.setting_name = 'enabled' AND ((journal_id = '1') OR v.sitewide = 1) WHERE v.current = 1 AND (ps.setting_value = '1' OR v.lazy_load <> 1)

(mysql): SELECT * FROM authors WHERE submission_id = 2808 ORDER BY seq

(mysql): SELECT * FROM author_settings WHERE author_id = '6397'

(mysql): SELECT * FROM author_settings WHERE author_id = '6398'

(mysql): SELECT * FROM article_settings WHERE article_id = '2808'

(mysql): SELECT iss.subscription_id FROM institutional_subscriptions iss, subscriptions s, subscription_types st WHERE POSITION(UPPER(LPAD(iss.domain, LENGTH(iss.domain)+1, '.')) IN UPPER(LPAD('216.73.216.52', LENGTH('216.73.216.52')+1, '.'))) != 0 AND iss.domain != '' AND iss.subscription_id = s.subscription_id AND s.journal_id = '1' AND s.status = 1 AND s.type_id = st.type_id AND st.institutional = 1 AND ((st.non_expiring = 1) OR (st.non_expiring = 0 AND ('2026-03-23 18:22:25' >= s.date_start AND '2026-03-23 18:22:25' <= s.date_end))) AND (st.format = 1 OR st.format = 17)

(mysql): SELECT isip.subscription_id FROM institutional_subscription_ip isip, subscriptions s, subscription_types st WHERE ((isip.ip_end IS NOT NULL AND '3628718132' >= isip.ip_start AND '3628718132' <= isip.ip_end AND isip.subscription_id = s.subscription_id AND s.journal_id = '1' AND s.status = 1 AND s.type_id = st.type_id AND st.institutional = 1 AND ((st.non_expiring = 1) OR (st.non_expiring = 0 AND ('2026-03-23 18:22:25' >= s.date_start AND '2026-03-23 18:22:25' <= s.date_end))) AND (st.format = 1 OR st.format = 17)) OR (isip.ip_end IS NULL AND '3628718132' = isip.ip_start AND isip.subscription_id = s.subscription_id AND s.journal_id = '1' AND s.status = 1 AND s.type_id = st.type_id AND st.institutional = 1 AND ((st.non_expiring = 1) OR (st.non_expiring = 0 AND ('2026-03-23 18:22:25' >= s.date_start AND '2026-03-23 18:22:25' <= s.date_end))) AND (st.format = 1 OR st.format = 17)))

(mysql): SELECT * FROM citations WHERE assoc_type = 257 AND assoc_id = 2808 AND citation_state >= 0 AND citation_state <= 5 ORDER BY seq, citation_id

(mysql): UPDATE published_articles SET views = views + 1 WHERE article_id = '2808'

(mysql): SELECT * FROM sections WHERE section_id = '12'

(mysql): SELECT * FROM section_settings WHERE section_id = '12'

Action Models with Postconditions | Benevides | Computación y Sistemas

Action Models with Postconditions

Mario Benevides, Isaque Macalam Saab Lima

Abstract

This work proposes a extension of dynamic epistemic logic to work with assignment. The difference between this work and others works, such as [7], is the use of actions models, from DEL, to make Boolean assignments to the propositions, instead of creating new mechanisms to make the assignments. We extend the definition of action model by creating the postcondition property of each state of the model, making it possible to assign Boolean values to the propositions.

Keywords

Epistemic logic, action models, postconditions

Full Text: PDF

(mysql): UPDATE sessions SET user_id = NULL, ip_address = '216.73.216.52', user_agent = 'Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)', created = 1774311744, last_used = 1774311744, remember = 0, data = '', acting_as = 0 WHERE session_id = 'glv50fhe9gvtll542bvmmgvld2'