Found 406 Documents (Results 1–100)
Intermediate logics in the setting of team semantics. (English) Zbl 07920712
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 231-271 (2024).
About the unification types of modal logics. (English) Zbl 07920710
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 175-202 (2024).
General clauses for SAT-based proof search in intuitionistic propositional logic. (English) Zbl 07919842
The orthologic of epistemic modals. (English) Zbl 07914749
MSC:
03-XX
On provability logics of Niebergall arithmetic. (English. Russian original) Zbl 07877897
Izv. Math. 88, No. 3, 468-505 (2024); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 88, No. 3, 61-100 (2024).
MSC:
03F45
KD45 with propositional quantifiers. (English) Zbl 07868848
MSC:
03B45
Axiomatizability of propositionally quantified modal logics on relational frames. (English) Zbl 07854638
Relational version of the multi-agent computation tree logic \(\mathcal{CTLK} \). (Russian. English summary) Zbl 07832085
A simple way to overcome hyperconnexivity. (English) Zbl 07830164
MSC:
03-XX
The Baire closure and its logic. (English) Zbl 07827878
Fuzzy logics – quantitatively. (English) Zbl 07821020
MSC:
03-XX
Positive modal logic beyond distributivity. (English) Zbl 1540.03041
Reviewer: Xavier Parent (Wien)
Extensions of Solovay’s system \(\mathbf{S}\) without independent sets of axioms. (English) Zbl 07748769
Minimisation in logical form. (English) Zbl 07920676
Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 89-127 (2023).
Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \). (Russian. English summary) Zbl 07896830
Parametrized modal logic. II: The unidimensional case. (English) Zbl 07860230
Areces, Carlos (ed.) et al., Dynamic logic. New trends and applications. 4th international workshop, DaLí 2022, Haifa, Israel, July 31 – August 1, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13780, 17-36 (2023).
MSC:
03B70
The universal tangle for spatial reasoning. (English) Zbl 07855162
Gaggl, Sarah (ed.) et al., Logics in artificial intelligence. 18th European conference, JELIA 2023, Dresden, Germany, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14281, 814-827 (2023).
MSC:
68T27
Semantic analysis of subexponential modalities in distributive non-commutative linear logic. (English) Zbl 1541.03083
Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 60-70 (2023).
Decidability of modal logics of non-\(k\)-colorable graphs. (English) Zbl 07810575
Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 351-361 (2023).
MSC:
03B70
Substitutional validity for modal logic. (English) Zbl 1537.03013
Reviewer: Ignacio Viglizzo (Bahía Blanca)
MSC:
03B45
Fractional-valued modal logic. (English) Zbl 07786926
Normal companions of intuitionistic modal logics. (English. Russian original) Zbl 07786473
Algebra Logic 61, No. 6, 445-465 (2023); translation from Algebra Logika 61, No. 6, 59-686 (2022).
FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3. (English) Zbl 07767286
MSC:
03-XX
A study of algebraic structures and logics based on categories of rough sets. (English) Zbl 1540.03111
Peters, James F. (ed.) et al., Transactions on Rough Sets XXIII. Berlin: Springer. Lect. Notes Comput. Sci. 13610, 288-507 (2023).
McKinsey-Tarski algebras: an alternative pointfree approach to topology. (English) Zbl 1525.18013
Reviewer: Joaquín Luna-Torres (Cartagena)
A Lindström theorem for intuitionistic first-order logic. (English) Zbl 1540.03016
Reviewer: Yaroslav Shramko (Kryvyi Rih)
Binary predicate, transitive closure, two-three variables: shall we play dominoes? (Russian. English summary) Zbl 07740648
MSC:
03-XX
Improving strong negation. (English) Zbl 07740302
MSC:
03B20
The automorphism group of the Fraïssé limit of finite Heyting algebras. (English) Zbl 07735954
J. Symb. Log. 88, No. 3, 1310-1320 (2023); addendum ibid. 88, No. 3, 1321-1322 (2023).
Relational semantics for normal topological quasi-Boolean logic. (English) Zbl 1541.03087
Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 207-221 (2023).
An infinity of intuitionistic connexive logics. (English) Zbl 1541.03018
Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 189-206 (2023).
Multiple-valued semantics for metric temporal logic. (English) Zbl 1541.03073
Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 105-116 (2023).
MSC:
03B44
Nested sequents for intermediate logics: the case of Gödel-Dummett logics. (English) Zbl 07727657
MSC:
03-XX
Some remarks on semantics and expressiveness of the sentential calculus with identity. (English) Zbl 07726396
On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs. (English) Zbl 07725403
MSC:
03-XX
Linear depth deduction with subformula property for intuitionistic epistemic logic. (English) Zbl 07695706
MSC:
68V15
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. (English) Zbl 07695414
Hereditarily structurally complete intermediate logics: Citkin’s theorem via duality. (English) Zbl 07677355
MSC:
03-XX
A logic of east and west. (English) Zbl 1506.68135
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)
On Kripke completeness of modal predicate logics around quantified K5. (English) Zbl 1523.03007
Reviewer: Ignacio Viglizzo (Bahía Blanca)
On the proof complexity of logics of bounded branching. (English) Zbl 1516.03022
Reviewer: Ariel Germán Fernández (Buenos Aires)
Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras. (English) Zbl 07601551
An algebraic glimpse at bunched implications and separation logic. (English) Zbl 07823891
Galatos, Nikolaos (ed.) et al., Hiroakira Ono on substructural logics. Cham: Springer. Outst. Contrib. Log. 23, 185-242 (2022).
Abstract algebraic logic. An introductory chapter. (English) Zbl 07823889
Galatos, Nikolaos (ed.) et al., Hiroakira Ono on substructural logics. Cham: Springer. Outst. Contrib. Log. 23, 71-142 (2022).
On decidability of concept satisfiability in description logic with product semantics. (English) Zbl 1522.68525
An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics. (English) Zbl 1521.03038
MSC:
03B45
A sequent system without improper derivations. (English) Zbl 1536.03025
MSC:
03F03
Fixed point logics and definable topological properties. (English) Zbl 1541.03078
Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 36-52 (2022).
MSC:
03B45
The lattice NExtS41 as composed of replicas of NExtInt, and beyond. (English) Zbl 1543.03057
Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 177-207 (2022).
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).
Computational complexity of the word problem in modal and Heyting algebras with a small number of generators. (English. Russian original) Zbl 07644547
Russ. Math. 66, No. 5, 33-48 (2022); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2022, No. 5, 42-60 (2022).
Theories of propositional logics and the converse of substitution. (English. Russian original) Zbl 07644546
Russ. Math. 66, No. 5, 26-32 (2022); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2022, No. 5, 33-41 (2022).
MSC:
03Bxx
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras. (English) Zbl 07632520
Paraconsistent Gödel modal logic. (English) Zbl 07628202
Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 429-448 (2022).
MSC:
68V15
SAT-based proof search in intermediate propositional logics. (English) Zbl 07628181
Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 57-74 (2022).
MSC:
68V15
On the proof theory of infinitary modal logic. (English) Zbl 07625358
MSC:
03-XX
Towards syntactic epistemic logic. (English) Zbl 07597925
MSC:
03B42
Modal companions of \(K4^+\). (English) Zbl 07595961
MSC:
03-XX
Lattices of intermediate theories via Ruitenburg’s theorem. (English) Zbl 1530.03110
Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 297-322 (2022).
Decidable and undecidable problems for first-order definability and modal definability. (English) Zbl 1530.03073
Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 214-236 (2022).
Hennessy-Milner properties via topological compactness. (English) Zbl 1525.03050
Reviewer: Takao Inoue (Tokyo)
About the unification type of \(\mathbf{K}+\square \square \bot\). (English) Zbl 07517438
MSC:
03B45
Modules with fusion and implication based over distributive lattices: representation and duality. (English) Zbl 07504083
Reflection algebras and conservation results for theories of iterated truth. (English) Zbl 1539.03190
On Blass translation for Leśniewski’s propositional ontology and modal logics. (English) Zbl 1507.03079
Reviewer: Xavier Parent (Vienna)
Poset products as relational models. (English) Zbl 07490468
MSC:
03-XX
Modal logics of some hereditarily irresolvable spaces. (English) Zbl 07469214
Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 303-322 (2022).
The Vietoris functor and modal operators on rings of continuous functions. (English) Zbl 1521.54004
Reviewer: Sami Lazaar (Sidi Daoued)
Tarskian consequence relations bilaterally: some familiar notions. (English) Zbl 1525.03052
MSC:
03B20
A sound interpretation of Leśniewski’s epsilon in modal logic KTB. (English) Zbl 1529.03153
MSC:
03B45
Computing distributed knowledge as the greatest lower bound of knowledge. (English) Zbl 07670532
Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 413-432 (2021).
MSC:
68Qxx
Filter Results by …
Document Type
- Journal Articles (339)
- Collection Articles (67)
all
top 5
Author
- Bezhanishvili, Guram (36)
- Bezhanishvili, Nick (34)
- Lucero-Bryan, Joel Gregory (11)
- Gabelaia, David (10)
- Ghilardi, Silvio (10)
- Citkin, Alex (9)
- Jeřábek, Emil (9)
- Moraschini, Tommaso (9)
- Balbiani, Philippe (8)
- Fiorentini, Camillo (8)
- Goldblatt, Robert Ian (8)
- Wolter, Frank (8)
- Zakharyaschev, Michael Viktorovich (8)
- Fiorino, Guido (7)
- Kurucz, Agi (7)
- Ma, Minghui (7)
- Carai, Luca (6)
- Ferrari, Mauro (6)
- Maksimova, Larisa L’vovna (6)
- van Mill, Jan (6)
- Venema, Yde (6)
- Badia, Guillermo (5)
- Beklemishev, Lev D. (5)
- Fernández Duque, David (5)
- Hodkinson, Ian Martin (5)
- Iemhoff, Rosalie (5)
- Morandi, Patrick J. (5)
- Negri, Sara (5)
- Celani, Sergio Arturo (4)
- Drobyshevich, Sergeĭ Andreevich (4)
- Gencer, Çigdem (4)
- Goudsmit, Jeroen P. (4)
- Grigolia, Revaz (4)
- Humberstone, Lloyd (4)
- Kikot, Stanislav (4)
- Kostrzycka, Zofia (4)
- Litak, Tadeusz (4)
- Löwe, Benedikt (4)
- Quadrellaro, Davide Emilio (4)
- Rivieccio, Umberto (4)
- Shapirovsky, Ilya B. (4)
- Shkatov, Dmitry (4)
- Tanaka, Yoshihito (4)
- Tesi, Matteo (4)
- Tinchev, Tinko (4)
- Valencia, Frank D. (4)
- Artemov, Sergei (3)
- De Groot, Jim (3)
- de Jongh, Dick H. J. (3)
- Di Nola, Antonio (3)
- Gehrke, Mai (3)
- Gorbunov, Igor’ Anatol’evich (3)
- Grilletti, Gianluca (3)
- Guzmán, Michell (3)
- Gyenis, Zalán (3)
- Hampson, Christopher (3)
- Holliday, Wesley H. (3)
- Ilin, Julia (3)
- Jibladze, Mamuka A. (3)
- Karpenko, Anastasia Valer’evna (3)
- Kowalski, Tomasz (3)
- Kuyper, Rutger (3)
- Kuznets, Roman (3)
- Marcelino, Sérgio (3)
- Marra, Vincenzo (3)
- Muravitsky, Alexei Yu. (3)
- Palmigiano, Alessandra (3)
- Rueda, Camilo (3)
- Rybakov, Mikhail Nikolaevich (3)
- Sano, Katsuhiko (3)
- Stronkowski, Michał Marek (3)
- Yang, Fan (3)
- Yashin, Aleksandr D. (3)
- Yun, Veta Fëdorovna (3)
- Zolin, Evgeniĭ Evgen’evich (3)
- Bashmakov, Stepan Igorevich (2)
- Belardinelli, Francesco (2)
- Calomino, Ismael (2)
- Chen, Qian (2)
- Ciardelli, Ivano A. (2)
- Coniglio, Marcelo Esteban (2)
- Conradie, Willem (2)
- d’Avila Garcez, Artur S. (2)
- Dyckhoff, Roy (2)
- Dzik, Wojciech (2)
- Esakia, Leo (2)
- Gabbay, Dov M. (2)
- Gougeon, Quentin (2)
- Hamkins, Joel David (2)
- Harding, John (2)
- Heinemann, Bernhard (2)
- Inoué, Takao (2)
- Joosten, Joost J. (2)
- Koshcheeva, Anna Konstantinovna (2)
- Kost, Sławomir (2)
- Koutras, Costas D. (2)
- Kudinov, Andreĭ Valer’evich (2)
- Kurahashi, Taishi (2)
- Kutz, Oliver (2)
- Lamb, Luís C. (2)
- and 268 more Authors
all
top 5
Serial
- Stud. Log. (50)
- Ann. Pure Appl. Logic (46)
- J. Symb. Log. (27)
- Rev. Symb. Log. (20)
- Arch. Math. Logic (15)
- J. Philos. Log. (14)
- Notre Dame J. Formal Logic (14)
- J. Appl. Non-Class. Log. (12)
- Algebra Logic (10)
- Theor. Comput. Sci. (8)
- Bull. Symb. Log. (8)
- Log. Univers. (7)
- Algebra Univers. (6)
- J. Autom. Reasoning (6)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (5)
- J. Appl. Log. (5)
- Synthese (4)
- Math. Log. Q. (4)
- J. Log. Algebr. Methods Program. (4)
- Math. Notes (3)
- Order (3)
- J. Logic Lang. Inf. (3)
- Log. Log. Philos. (3)
- Artif. Intell. (2)
- Probl. Inf. Transm. (2)
- Adv. Math. (2)
- Fuzzy Sets Syst. (2)
- Inf. Sci. (2)
- Trans. Am. Math. Soc. (2)
- Inf. Comput. (2)
- Math. Struct. Comput. Sci. (2)
- Indag. Math., New Ser. (2)
- Russ. Math. (2)
- Ann. Math. Artif. Intell. (2)
- Izv. Math. (2)
- Soft Comput. (2)
- ACM Trans. Comput. Log. (2)
- Log. Methods Comput. Sci. (2)
- Log. Issled. (2)
- Inf. Process. Lett. (1)
- Isr. J. Math. (1)
- Russ. Math. Surv. (1)
- Int. J. Math. Math. Sci. (1)
- J. Math. Econ. (1)
- Math. Slovaca (1)
- Program. Comput. Softw. (1)
- Rev. Unión Mat. Argent. (1)
- Sib. Math. J. (1)
- Topology Appl. (1)
- Soc. Choice Welfare (1)
- Int. J. Approx. Reasoning (1)
- Int. J. Algebra Comput. (1)
- Appl. Categ. Struct. (1)
- J. Artif. Intell. Res. (JAIR) (1)
- Sb. Math. (1)
- Dokl. Math. (1)
- Theory Comput. Syst. (1)
- Erkenntnis (1)
- J. Math. Log. (1)
- Fundam. Inform. (1)
- Cent. Eur. J. Math. (1)
- Sib. Èlektron. Mat. Izv. (1)
- Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. (1)
- Azerb. J. Math. (1)
- Izv. Irkutsk. Gos. Univ., Ser. Mat. (1)
- Front. Comput. Sci. (1)
- Axioms (1)
- Open Math. (1)
- J. Sib. Fed. Univ., Math. Phys. (1)
Biographic Reference
- Esakia, Leo (1)
- Maksimova, Larisa L’vovna (1)
all
top 3
Software
- Pesca (9)
- SQEMA (6)
- ILTP (4)
- fCube (3)
- intuit (3)
- Coq (2)
- IntHistGC (2)
- MCK (2)
- MiniML (2)
- AVISPA (1)
- ArgoCLP (1)
- Dafny (1)
- Eiffel (1)
- Fuzzydl (1)
- Imogen (1)
- Infer (1)
- JTabWb (1)
- MNiBLoS (1)
- MathOverflow (1)
- MetTeL (1)
- MiniSat (1)
- MoSeL (1)
- ModuRes (1)
- Nuprl (1)
- OSCAR (1)
- PITP (1)
- SLAyer (1)
- SMT-LIB (1)
- STRIP (1)
- Smallfoot (1)
- TRP++ (1)
- VeriFast (1)
- Verics (1)
- z3 (1)
