Coalgebraic Announcement Logics

DOI10.1007/978-3-642-39212-2_12MaRDI QIDQ5327426zbMATH OpenOpenAlexFDO

Authors Facundo Carreiro, Daniel Gorín, Lutz Schröder

Publication date 7 August 2013

Published in Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39212-2_12

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Categorical logic, topoi (03G30)

Recommendations

• Coalgebraic logic
• Coalgebraic predicate logic
• Coalgebraic Hybrid Logic
• Coalgebraic Modal Logic in CoCasl
• Coalgebraic derivations in logic programming
• Coalgebraic semantics for derivations in logic programming
• Coalgebraic logics \& duality
• On a coalgebraic view on logic
• scientific article; zbMATH DE number 1497872
• Layered logics, coalgebraically

Cited in

(5)

• On inverse operators in dynamic epistemic logic
• A coalgebraic semantics for epistemic programs
• Coalgebraic Epistemic Update Without Change of Model
• scientific article; zbMATH DE number 6863640 (Why is no real title available?)
• Model Checking for Coalition Announcement Logic

This page was built for publication: Coalgebraic Announcement Logics

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