Pages that link to "Item:Q5525332"
From MaRDI portal
The following pages link to Algebraic semantics for modal logics I (Q5525332):
Displaying 50 items.
- An interpretation of Łukasiewicz's 4-valued modal logic (Q263087) (← links)
- Possible worlds in use (Q647416) (← links)
- Monadic bounded algebras (Q708923) (← links)
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics (Q831227) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- Critical modal logics containing the Brouwer axiom (Q1052314) (← links)
- An algebraic study of well-foundedness (Q1087540) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- First-order indefinite and uniform neighbourhood semantics (Q1140625) (← links)
- Some kinds of modal completeness (Q1151886) (← links)
- The deducibilities of S5 (Q1159660) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Algebras with modular lattice reducts and simple subdirectly irreducibles (Q1213454) (← links)
- Kripke semantics for modal systems including S4.3 (Q1219268) (← links)
- Investigations into quantified modal logic. I (Q1227597) (← links)
- Hereditarily finitely axiomatizable extensions of logic S4 (Q1239153) (← links)
- On modal logic with an intuitionistic base (Q1240729) (← links)
- On some intuitionistic modal logics (Q1244216) (← links)
- A study of Kripke-type models for some modal logics by Gentzen's sequential method (Q1257012) (← links)
- Noncompact extensions of the logic S4 (Q1260026) (← links)
- Constructive and algebraic methods of the theory of rough sets (Q1298348) (← links)
- A comparative study of fuzzy sets and rough sets (Q1298352) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Power structures (Q1802251) (← links)
- Two views of the theory of rough sets in finite universes (Q1809334) (← links)
- Completeness of modal logics with prefinite width (Q1835665) (← links)
- Positive modal logic (Q1902555) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- Modal extensions of sub-classical logics for recovering classical logic (Q1945706) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- On ultrafilter extensions of first-order models and ultrafilter interpretations (Q2042734) (← links)
- A categorical equivalence for tense Nelson algebras (Q2115290) (← links)
- Dugundji's theorem revisited (Q2254571) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach (Q2409389) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- Construction of rough approximations in fuzzy setting (Q2457031) (← links)
- On the finite model property for Kripke models (Q2556329) (← links)
- Rough operations on Boolean algebras (Q2568267) (← links)
- Validity and necessity (Q2572383) (← links)
- On regular modal logics with axiom \(\square \top \to \square \square \top\) (Q2641290) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES (Q3006006) (← links)
