## Found 29 Documents (Results 1–29)

100
MathJax

### Modal logics that bound the circumference of transitive frames. (English)Zbl 07442315

Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 233-265 (2021).
MSC:  03-XX 08-XX
Full Text:

Full Text:

MSC:  03B45
Full Text:

### Circular proofs for the Gödel-Löb provability logic. (English. Russian original)Zbl 1329.03092

Math. Notes 96, No. 4, 575-585 (2014); translation from Mat. Zametki 96, No. 4, 609-622 (2014).
MSC:  03F45 03F07
Full Text:

Full Text:

### Scattered and hereditarily irresolvable spaces in modal logic. (English)Zbl 1196.03031

MSC:  03B45 54G12
Full Text:

### On modal $$\mu$$-calculus and Gödel-Löb logic. (English)Zbl 1201.03008

MSC:  03B45 03F45
Full Text:

### Valentini’s cut-elimination for provability logic resolved. (English)Zbl 1244.03158

Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 67-86 (2008).
MSC:  03F05 03F45

MSC:  03F45

### Note on some fixed point constructions in provability logic. (English)Zbl 1101.03041

MSC:  03F45 03B45
Full Text:

### Proof analysis in modal logic. (English)Zbl 1086.03045

MSC:  03F05 03B45
Full Text:

### A formal reduction of the general problem of expressibility of formulas in the Göbel-Löb provability logic. (English. Russian original)Zbl 1044.03044

Discrete Math. Appl. 12, No. 3, 279-290 (2002); translation from Diskretn. Mat. 14, No. 2, 95-106 (2002).
MSC:  03F45 03D35 03B45
Full Text:

### Incompleteness and fixed points. (English)Zbl 0988.03037

MSC:  03B45 03F40 03F30
Full Text:

### On some properties of complete by expressibility systems of formulas in the Göbel-Löb provability logic. (English. Russian original)Zbl 1044.03045

Discrete Math. Appl. 10, No. 6, 553-570 (2000); translation from Diskretn. Mat. 12, No. 4, 63-82 (2000).
MSC:  03F45 03B45
Full Text:

### Getting belief functions from Kripke models. (English)Zbl 0845.03003

MSC:  03B45 68T27
Full Text:

### Least fixed points in the Gödel-Löb logic. (English. Russian original)Zbl 0815.03008

Algebra Logic 32, No. 6, 372-375 (1993); translation from Algebra Logika 32, No. 6, 683-689 (1993).
MSC:  03B45
Full Text:

### Insolubility of Gödel-Löb logic with quantifiers of propositional variables. (English. Russian original)Zbl 0787.03014

Mosc. Univ. Math. Bull. 48, No. 2, 11-13 (1993); translation from Vestn. Mosk. Univ., Ser. I 48, No. 2, 13-16 (1993).
MSC:  03B45

### Interpolation in modal infinite slice logics containing the logic K4. (English. Russian original)Zbl 0729.03011

Sib. Adv. Math. 1, No. 3, 52-74 (1991); translation from Tr. Inst. Mat. 12, 72-91 (1989).
MSC:  03B45 03F40

### Predicate provability logic with non-modalized quantifiers. (English)Zbl 0736.03004

MSC:  03B45 03F40 03F30
Full Text:

### Logical equations and admissible rules of inference with parameters in modal provability logics. (English)Zbl 0729.03012

Reviewer: V.V.Rybakov
MSC:  03B45 03F40 03B25
Full Text:

### Undecidable properties of extensions of provability logic. II. (English. Russian original)Zbl 0729.03009

Algebra Logic 29, No. 5, 406-413 (1990); translation from Algebra Logika 29, No. 5, 613-623 (1990).
Full Text:

### Characters and fixed points in provability logic. (English)Zbl 0713.03008

Reviewer: V.V.Rybakov
MSC:  03B45 03F40 03C40
Full Text:

### On the algebra of closed formulas in the intuitionistic version of GL. (English)Zbl 0702.03008

Reviewer: B.Boričić
MSC:  03B45 03F40

### Interpolation in modal, infinite-slice logics which contain the logic K4. (Russian)Zbl 0713.03006

Tr. Inst. Mat. 12, 72-91 (1989).
Reviewer: V.Shekhtman
MSC:  03B45

### Provability logic with quantifier modalities. (Russian)Zbl 0729.03010

Intensional logics and the logical structure of theories, Proc. 4th Sov.- Finn. Symp. Logic, Telavi (USSR) 1985, 4-9 (1988).
MSC:  03B45 03F40

### Interpolation in infinite-layered extensions of provability logic. (Russian)Zbl 0681.03006

Reviewer: S.Artemov
MSC:  03B45
Full Text:

all top 5

all top 3