scientific article; zbMATH DE number 3918335

MaRDI QIDQ3693507zbMATH OpenFDO

Authors Hajime Sawamura

Publication date 1985

zbMATH Keywords

Gentzen-type S4

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 970633
• Modal information logics: axiomatizations and decidability
• Verified Decision Procedures for Modal Logics.
• Model-theoretic and computational properties of modal dependence logic
• Decidability of some classes of modal logic
• ON MODAL LOGICS AXIOMATIZING PROVABILITY
• scientific article; zbMATH DE number 3963790
• Axiomatizing hybrid logic using modal logic
• Modal Logic, Transition Systems and Processes

Cited in

(1)

• scientific article; zbMATH DE number 5075930 (Why is no real title available?)

This page was built for publication:

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