The following pages link to Normal forms in modal logic (Q2555060):
Displaying 29 items.
- Automorphisms of the lattice of classical modal logics (Q284221) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Decidability of an Xstit logic (Q456970) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- The complexity of identifying characteristic formulae (Q1987735) (← links)
- A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
- Logics of synonymy (Q2194116) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Axiomatizations for downward XPath on data trees (Q2402362) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- Canonicity for Intensional Logics with Even Axioms (Q2758075) (← links)
- On Hamblin's 15 Tense Theorem (Q2901190) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- FORMULAS IN MODAL LOGIC <b>S4</b> (Q3066780) (← links)
- The McKinsey axiom is not canonical (Q3984429) (← links)
- A quantitative analysis of modal logic (Q4292605) (← links)
- (Q5092390) (← links)
- (Q5155666) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- DEL-sequents for progression (Q5891666) (← links)
