The following pages link to (Q4789450):
Displayed 27 items.
- Automorphisms of the lattice of classical modal logics (Q284221) (← links)
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Irreflexive modality as a new logical connective in the Dummett logic (Q467677) (← links)
- Products of modal logics and tensor products of modal algebras (Q472808) (← links)
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- Connected modal logics (Q535140) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Irreflexive modality, the Dummett logic, and continual chains (Q721381) (← links)
- Sequent calculi and decidability for intuitionistic hybrid logic (Q764257) (← links)
- All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- Simplified Kripke-style semantics for some normal modal logics (Q2186691) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 (Q4608558) (← links)
- A logical approach to A-Prolog (Q4916215) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- (Q5111325) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)