Changing Modalities

DOI10.1093/LOGCOM/14.2.251MaRDI QIDQ4820467zbMATH OpenOpenAlexFDO

Authors Gerard R. Renardel de Lavalette

Publication date 15 October 2004

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/14.2.251

zbMATH Keywords

semanticsepistemic logicmodal logicdynamic modal logicmodal structure

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• General dynamic dynamic logic
• scientific article; zbMATH DE number 1537935
• A dynamic logic of action
• Modal Fixed-Point Logic and Changing Models
• Modal logic for modelling actions and agents

Cited in

(17)

• The impact of including model update operators in modal logics
• Dynamic modal logic with counting: when reduction axioms work and fail
• scientific article; zbMATH DE number 683369 (Why is no real title available?)
• Conditioning and interpretation shifts
• General dynamic dynamic logic
• Arrow update logic
• Quantificational modal logic with sequential Kripke semantics
• To be announced
• Expressivity and completeness for public update logics via reduction axioms
• Comments to `Logics of public communications'
• Modal Fixed-Point Logic and Changing Models
• Interpreting an action from what we perceive and what we expect
• Logics of rational interaction
• Dynamic epistemic preferential logic of action
• Copy and remove as dynamic operators
• Global and local graph modifiers
• Minimal revision and classic Kripke models. First results

This page was built for publication: Changing Modalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4820467)