Found 38 Documents (Results 1–38)
McKinsey-Tarski algebras: an alternative pointfree approach to topology. (English) Zbl 1525.18013
Reviewer: Joaquín Luna-Torres (Cartagena)
A generalization of de Vries duality to closed relations between compact Hausdorff spaces. (English) Zbl 1528.54005
Reviewer: Xiaoquan Xu (Zhangzhou)
Temporal interpretation of monadic intuitionistic quantifiers. (English) Zbl 1518.03003
Reviewer: Grigory K. Olkhovikov (Bochum)
Monadic intuitionistic and modal logics admitting provability interpretations. (English) Zbl 07657288
Reviewer: Grigory K. Olkhovikov (Bochum)
Jankov formulas and axiomatization techniques for intermediate logics. (English) Zbl 1543.03061
Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 71-124 (2022).
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras. (English) Zbl 07632520
The Vietoris functor and modal operators on rings of continuous functions. (English) Zbl 1521.54004
Reviewer: Sami Lazaar (Sidi Daoued)
The McKinsey-Tarski theorem for locally compact ordered spaces. (English) Zbl 1483.54016
Reviewer: Giacomo Lenzi (Fisciano)
Tree-like constructions in topology and modal logic. (English) Zbl 1500.03005
Reviewer: Jorge Picado (Coimbra)
A strict implication calculus for compact Hausdorff spaces. (English) Zbl 1446.03041
Reviewer: Osamu Sonobe (Follonica)
Stable modal logics. (English) Zbl 1522.03048
Cofinal stable logics. (English) Zbl 1403.03045
Stable canonical rules. (English) Zbl 1345.03034
Reviewer: Can Baskent (Bath)
MSC:
03B45
Modal logics of metric spaces. (English) Zbl 1371.03022
Canonical formulas \(\mathbf{wK4}\). (English) Zbl 1314.03020
Reviewer: Xavier Parent (Luxembourg)
More on \(d\)-logics of subspaces of the rational numbers. (English) Zbl 1271.03027
Reviewer: Bernhard Heinemann (Hagen)
Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP. (English) Zbl 1257.03044
Reviewer: Bernhard Heinemann (Hagen)
MSC:
03B45
Modal logics of Stone spaces. (English) Zbl 1259.03030
Reviewer: G. E. Mints (Stanford)
An algebraic approach to canonical formulas: modal case. (English) Zbl 1250.03124
Reviewer: Michiro Kondo (Inzai)
Connected modal logics. (English) Zbl 1241.03018
Reviewer: Branislav Boričić (Beograd)
The modal logic of \({\beta(\mathbb{N})}\). (English) Zbl 1169.03018
Reviewer: G. E. Mints (Stanford)
An algebraic approach to subframe logics. Intuitionistic case. (English) Zbl 1123.03055
Reviewer: Manuel Abad (Bahia Blanca)
Filter Results by …
Document Type
- Journal Articles (37)
- Collection Articles (1)
all
top 5
Author
- Bezhanishvili, Guram (38)
- Bezhanishvili, Nick (16)
- Lucero-Bryan, Joel Gregory (10)
- Carai, Luca (6)
- van Mill, Jan (6)
- Gabelaia, David (5)
- Morandi, Patrick J. (5)
- Ilin, Julia (3)
- Venema, Yde (3)
- Ghilardi, Silvio (2)
- Harding, John (2)
- Jibladze, Mamuka A. (2)
- Moraschini, Tommaso (2)
- Abbadini, Marco (1)
- Beklemishev, Lev D. (1)
- Brantley, Kristina Leifeste (1)
- Fernández Duque, David (1)
- Gehrke, Mai (1)
- Iemhoff, Rosalie (1)
- Mines, Ray (1)
- Mundici, Daniele (1)
- Raftery, James G. (1)
- Raviprakash, Ranjitha (1)
- Santoli, Thomas (1)
- Sourabh, Sumit (1)
- Stronkowski, Michał Marek (1)
all
top 5
Serial
- J. Symb. Log. (7)
- Arch. Math. Logic (5)
- Rev. Symb. Log. (5)
- Ann. Pure Appl. Logic (4)
- Stud. Log. (3)
- Topology Appl. (2)
- Order (2)
- Indag. Math., New Ser. (2)
- Adv. Math. (1)
- Algebra Univers. (1)
- J. Algebra (1)
- Notre Dame J. Formal Logic (1)
- Appl. Categ. Struct. (1)
- Bull. Symb. Log. (1)
- J. Math. Log. (1)
Biographic Reference
- Esakia, Leo (1)
Software
- MathOverflow (1)