Normal forms in modal logic
From MaRDI portal
Publication:2555060
DOI10.1305/NDJFL/1093891703zbMath0245.02025OpenAlexW2036639698MaRDI QIDQ2555060
Publication date: 1975
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891703
Related Items (31)
Automorphisms of the lattice of classical modal logics ⋮ On Hamblin's 15 Tense Theorem ⋮ Some modal aspects of XPath ⋮ An algebraic theory of normal forms ⋮ The McKinsey axiom is not canonical ⋮ Varieties of complex algebras ⋮ A quantitative analysis of modal logic ⋮ Axiomatizations for downward XPath on data trees ⋮ Proof systems for Moss' coalgebraic logic ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Logics of synonymy ⋮ Completeness for flat modal fixpoint logics ⋮ Mathematical modal logic: A view of its evolution ⋮ Decidability of an Xstit logic ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ The complexity of identifying characteristic formulae ⋮ Canonicity for Intensional Logics with Even Axioms ⋮ INSTANTIAL NEIGHBOURHOOD LOGIC ⋮ Complete axiomatizations for XPath fragments ⋮ Characterising modal formulas with examples ⋮ Unnamed Item ⋮ FORMULAS IN MODAL LOGIC S4 ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ On final coalgebras of power-set functors and saturated trees ⋮ The bounded proof property via step algebras and step frames ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ Forgetting in multi-agent modal logics ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Unnamed Item ⋮ An essay in combinatory dynamic logic
This page was built for publication: Normal forms in modal logic