Normal forms in modal logic

DOI10.1305/ndjfl/1093891703zbMath0245.02025OpenAlexW2036639698MaRDI QIDQ2555060

Kit Fine

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

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, 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