Normal forms in modal logic
From MaRDI portal
Publication:2555060
Cited in
(34)- An algebraic theory of normal forms
- Mathematical modal logic: A view of its evolution
- The finitely axiomatizable complete theories of non-associative arrow frames
- The complexity of identifying characteristic formulae
- A general multi-agent epistemic planner based on higher-order belief change
- Logics of synonymy
- Forgetting in multi-agent modal logics
- Axiomatizations for downward XPath on data trees
- On final coalgebras of power-set functors and saturated trees
- Varieties of complex algebras
- Canonicity for intensional logics with even axioms
- Automorphisms of the lattice of classical modal logics
- On Hamblin's 15 tense theorem.
- Some modal aspects of XPath
- Formulas in modal logic S4
- The McKinsey axiom is not canonical
- Proof systems for Moss' coalgebraic logic
- A quantitative analysis of modal logic
- Decidability of an Xstit logic
- Two variable fragment of term modal logic
- scientific article; zbMATH DE number 7407777 (Why is no real title available?)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Instantial neighbourhood logic
- DEL-sequents for progression
- DEL-sequents for progression
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
- Completeness for flat modal fixpoint logics
- Characterising modal formulas with examples
- The McKinsey axiom on weakly transitive frames
- Modern faces of filtration
- Modal definability in Kripke's theory of truth
- The bounded proof property via step algebras and step frames
- An essay in combinatory dynamic logic
- Complete axiomatizations for XPath fragments
This page was built for publication: Normal forms in modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2555060)
