Software tool support for modular reasoning in modal logics of actions

DOI10.1007/978-3-319-94821-8_4MaRDI QIDQ1791146zbMATH OpenOpenAlexFDO

Authors Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Publication date 4 October 2018

Full work available at URL https://dspace.library.uu.nl/handle/1874/389209

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
• The MET: The Art of Flexible Reasoning with Modalities
• Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
• Modal logic for modelling actions and agents
• scientific article; zbMATH DE number 5734950

Cited in

(2)

• Bilattice logic of epistemic actions and knowledge
• Bilattice logic properly displayed

Describes a project that uses

Uses Software

• DEAK calculus
• Muddy children
• Isabelle/HOL
• Coq

This page was built for publication: Software tool support for modular reasoning in modal logics of actions

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