scientific article; zbMATH DE number 4189694
From MaRDI portal
Publication:5753929
Recommendations
- On combinations of propositional dynamic logic and doxastic modal logics
- One calculus of nonderivable formulas of propositional modal logic
- One quantifier alternation in first-order logic with modular predicates
- Modal Operators over Constructive Logic
- Belnap-Dunn modal logic with value operators
- scientific article; zbMATH DE number 7668119
- scientific article; zbMATH DE number 2144768
- Modal logics with several operators and probability interpretations
- A systematic proof theory for several modal logics
- A system of dynamic modal logic
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 Q5753929)