Document Search Results

Rybakov, V. V.

Admissibility of logical inference rules. (English) Zbl 0872.03002

Studies in Logic and the Foundations of Mathematics. 136. Amsterdam: Elsevier. 617 p. (1997).

Reviewer: B.Boričić (Beograd)

MSC: 03-02 03B05 03B10 03B22 03B25 03B20 03B45 03B55 03C05

Cite Review PDF

Ishihara, Hajime; Khoussainov, Bakhadyr

Effectiveness of the completeness theorem for an intermediate logic. (English) Zbl 0963.03506

J. UCS 3, No. 11, 1255-1265 (1997).

MSC: 03B55 03C57

Cite Review PDF

Full Text: Link

Modica, S.; Rustichini, A.

Awareness and partitional informational structures. (English) Zbl 0947.91503

Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. C. 20, 151-168 (1997).

MSC: 91E99 03B42 03B45 03B80

Cite Review PDF

Lismont, L.; Mongin, P.

On the logic of common belief and common knowledge. (English) Zbl 0942.03513

Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. C. 20, 3-34 (1997).

MSC: 03B42 68T30 68T27

Cite Review PDF

Esteva, Francesc; Garcia, Pere; Godo, Lluís; Rodríguez, Ricardo

A modal account of similarity-based reasoning. (English) Zbl 0935.03037

Int. J. Approx. Reasoning 16, No. 3-4, 235-260 (1997).

MSC: 03B52 68T37 03B45 68T27

Cite Review PDF

Full Text: DOI

Bezhanishvili, Guram; Zakharyaschev, Michael

Logics over MIPC. (English) Zbl 0940.03022

RIMS Kokyuroku 1021, 86-95 (1997).

Reviewer: D.Skvortsov (Moskva)

MSC: 03B45

Cite Review PDF

Rimatskiy, V. V.

Finite bases of admissible inference rules for modal logics of width 2. (English) Zbl 0897.03016

Bull. Sect. Log., Univ. Łódź, Dep. Log. 26, No. 3, 126-134 (1997).

MSC: 03B45 03G25 08C15

Cite Review PDF

Akama, Seiki

On constructive modality. (English) Zbl 0902.03006

Akama, Seiki (ed.), Logic, language and computation. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 5, 143-158 (1997).

Reviewer: Michael Zakharyaschev (Moskva)

MSC: 03B45 03B20 03F50

Cite Review PDF

Alexeev, Pavel A.; Golovanov, Mikhail I.

Poly-modal logic $S5_ nC$. (English) Zbl 0881.03013

SUT J. Math. 33, No. 1, 1-9 (1997).

MSC: 03B45

Cite Review PDF

Wolter, Frank

Properties of tense logics. (English) Zbl 0871.03010

Math. Log. Q. 42, No. 4, 481-500 (1996).

Reviewer: A.V.Chagrov (Tver’)

MSC: 03B45 03B25

Cite Review PDF

Full Text: DOI

Wolter, Frank

A counterexample in tense logic. (English) Zbl 0866.03007

Notre Dame J. Formal Logic 37, No. 2, 167-173 (1996).

Reviewer: M.Zakharyaschev (Berlin)

MSC: 03B45

Cite Review PDF

Full Text: DOI

Zakharyaschev, Michael

Canonical formulas for K4. II: Cofinal subframe logics. (English) Zbl 0884.03014

J. Symb. Log. 61, No. 2, 421-449 (1996).

Reviewer: V.Shekhtman (Moskva)

MSC: 03B45

Cite Review PDF

Full Text: DOI

MacCaull, Wendy

Kripke semantics for logics with BCK implication. (English) Zbl 0854.03058

Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 1, 41-51 (1996).

MSC: 03G25 03B20

Cite Review PDF

Bonanno, Giacomo

On the logic of common belief. (English) Zbl 0945.03013

Math. Log. Q. 42, No. 3, 305-311 (1996).

MSC: 03B42 03B45 68T27 68T30

Cite Review PDF

Full Text: DOI

Rathjen, Michael

The recursively Mahlo property in second order arithmetic. (English) Zbl 0836.03032

Math. Log. Q. 42, No. 1, 59-66 (1996).

MSC: 03F35 03F15 03E70

Cite Review PDF

Full Text: DOI

Donini, Francesco M.; Massacci, Fabio; Nardi, Daniele; Rosati, Riccardo

A uniform tableaux method for nonmonotonic modal logics. (English) Zbl 1427.03037

Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 87-103 (1996).

MSC: 03B45 03B35 68T27

Cite Review PDF

Full Text: DOI

Artosi, Alberto; Benassi, Paola; Governatori, Guido; Rotolo, Antonino

Labelled proofs for quantified modal logic. (English) Zbl 1427.03035

Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 70-86 (1996).

MSC: 03B45 68T27

Cite Review PDF

Full Text: DOI Link

Shrajner, P. A.

Absence of interpolation in some predicate superintuitionistic logics. (English. Russian original) Zbl 0897.03022

Algebra Logic 35, No. 1, 59-65 (1996); translation from Algebra Logika 35, No. 1, 105-117 (1996).

Reviewer: Miodrag Kapetanović (Beograd)

MSC: 03B55 03C40 03B20

Cite Review PDF

Full Text: EuDML

Mikulás, Szabolcs

Complete calculus for conjugated arrow logic. (English) Zbl 0874.03026

Marx, Maarten (ed.) et al., Arrow logic and multi-modal logic. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 125-139 (1996).

MSC: 03B45 03B70

Cite Review PDF

Pinto, Luis; Dyckhoff, Roy

Loop-free construction of counter-models for intuitionistic propositional logic. (English) Zbl 0848.03002

Behara, Minaketan (ed.) et al., Proceedings of the 2nd Gauss symposium. Conference A: Mathematics and theoretical physics, Munich, Germany, August 2-7, 1993. Berlin: Walter de Gruyter. Symposia Gaussiana. 225-232 (1995).

MSC: 03B20 03F03 03C30

Cite Review PDF

Bellissima, Fabio; Bucalo, Anna

A distinguishable model theorem for the minimal $\text{US}$-tense logic. (English) Zbl 0843.03007

Notre Dame J. Formal Logic 36, No. 4, 585-594 (1995).

MSC: 03B45

Cite Review PDF

Full Text: DOI

Marković, Zoran

Omitting types in Kripke models. (English) Zbl 0843.03021

Filomat 9, No. 3, 803-807 (1995).

MSC: 03C90 03B20

Cite Review PDF

Boričić, Branislav

A note on probabilistic validity measure in propositional calculi. (English) Zbl 0841.03021

J. IGPL 3, No. 5, 721-724 (1995).

Reviewer: R.Wallace Garden (Thames)

MSC: 03C80 03B48 03B55 03B20

Cite Review PDF

Apostoli, Peter; Brown, Bryson

A solution to the completeness problem for weakly aggregative modal logic. (English) Zbl 0837.03016

J. Symb. Log. 60, No. 3, 832-842 (1995).

Reviewer: A.V.Chagrov (Tver’)

MSC: 03B45

Cite Review PDF

Full Text: DOI

Buvač, Saša; Buvač, Vanja; Mason, Ian A.

Metamathematics of contexts. (English) Zbl 0844.03014

Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2-4, 263-301 (1995).

Reviewer: J.Šefránek (Bratislava)

MSC: 03B60 68T27 03B45

Cite Review PDF

Grigolia, R.

Free and projective Heyting and monadic Heyting algebras. (English) Zbl 0826.06005

Höhle, Ulrich (ed.) et al., Non-classical logics and their applications to fuzzy subsets. A handbook of the mathematical foundations of fuzzy set theory. Proceedings of the 14th Linz seminar on fuzzy set theory held at Linz, Austria in the second week of September 1992. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. B. 32, 33-52 (1995).

Reviewer: G.Kalmbach (Ulm)

MSC: 06D20 08B20

Cite Review PDF

Engesser, Kurt

Some connections between topological and modal logic. (English) Zbl 0827.03007

Math. Log. Q. 41, No. 1, 49-64 (1995).

Reviewer: O.Sonobe (Follonica)

MSC: 03B45 03C80 03C30 03C40

Cite Review PDF

Full Text: DOI

Zakharyaschev, Michael; Alekseev, Alexander

All finitely axiomatizable normal extensions of K4.3 are decidable. (English) Zbl 0818.03008

Math. Log. Q. 41, No. 1, 15-23 (1995).

Reviewer: S.Miura (Okazaki / Aichi)

MSC: 03B45 03B25

Cite Review PDF

Full Text: DOI

Makowsky, J. A.

The impact of model theory on theoretical computer science. (English) Zbl 0854.03040

Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 239-262 (1994).

Reviewer: O.Štěpánková (Praha)

MSC: 03C99 68-02 03C07 03-02 68Qxx

Cite Review PDF

Takano, Mitio

Subformula property in many-valued modal logics. (English) Zbl 0813.03014

J. Symb. Log. 59, No. 4, 1263-1273 (1994).

MSC: 03B45 03B50 03F05

Cite Review PDF

Full Text: DOI

Aziz, Adnan; Singhal, Vigyan; Balarin, Felice; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.

Equivalences for fair Kripke structures. (English) Zbl 1418.68125

Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 364-375 (1994).

MSC: 68Q60 03B44

Cite Review PDF

Full Text: DOI

Modica, Salvatore; Rustichini, Aldo

Awareness and partitional information structures. (English) Zbl 0822.92028

Theory Decis. 37, No. 1, 107-124 (1994).

MSC: 91E99 03B45 03B80

Cite Review PDF

Full Text: DOI

Lismont, Luc; Mongin, Philippe

On the logic of common belief and common knowledge. (English) Zbl 0831.03014

Theory Decis. 37, No. 1, 75-106 (1994).

MSC: 03B60 03B45 68T27 68T30

Cite Review PDF

Full Text: DOI

Fagin, Ronald

A quantitative analysis of modal logic. (English) Zbl 0806.03017

J. Symb. Log. 59, No. 1, 209-252 (1994).

Reviewer: W.Lenzen (Osnabrück)

MSC: 03B45 03C15

Cite Review PDF

Full Text: DOI

Wansing, Heinrich

Sequent calculi for normal modal propositional logics. (English) Zbl 0799.03014

J. Log. Comput. 4, No. 2, 125-142 (1994).

Reviewer: G.Mints (Stanford)

MSC: 03B45 03F05

Cite Review PDF

Full Text: DOI

Amati, Giambattista; Pirri, Fiora

A uniform tableau method for intuitionistic modal logics. I. (English) Zbl 0797.03015

Stud. Log. 53, No. 1, 29-60 (1994).

Reviewer: S.Miura (Okazaki / Aichi)

MSC: 03B45 03F05

Cite Review PDF

Full Text: DOI

Shehtman, Valentin

A logic with progressive tenses. (English) Zbl 0862.03011

Rijke, Maarten de (ed.), Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 229, 255-285 (1993).

MSC: 03B45 03B25

Cite Review PDF

Došen, Kosta

Modal translations in $\mathbf K$ and $\mathbf D$. (English) Zbl 0824.03007

Rijke, Maarten de (ed.), Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 229, 103-127 (1993).

Reviewer: L.A.Chagrova (Tver’)

MSC: 03B45

Cite Review PDF

Blackburn, Patrick

Modal logic and attribute value structures. (English) Zbl 0854.03017

Rijke, Maarten de (ed.), Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 229, 19-65 (1993).

Reviewer: V.Shekhtman (Moskva)

MSC: 03B45 03B65 68T50

Cite Review PDF

Marković, Zoran

On the structure of Kripke models of Heyting arithmetic. (English) Zbl 0805.03050

Math. Log. Q. 39, No. 4, 531-538 (1993).

MSC: 03F30 03F55 03C62

Cite Review PDF

Full Text: DOI

Chagrov, Alexander; Zakharyaschev, Michael

The undecidability of the disjunction property of propositional logics and other related problems. (English) Zbl 0799.03009

J. Symb. Log. 58, No. 3, 967-1002 (1993).

Reviewer: V.Shekhtman (Moskva)

MSC: 03B45 03B55 03D35

Cite Review PDF

Full Text: DOI

Naumov, P. G.

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

Cite Review PDF

McCarty, L. Thorne

Circumscribing embedded implications (without stratifications). (English) Zbl 0783.68119

J. Log. Program. 17, No. 2-4, 323-364 (1993).

MSC: 68T27 68T30 68N17

Cite Review PDF

Full Text: DOI

Marek, V. W.; Truszczyński, M.

Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. (English) Zbl 0784.03018

Artificial Intelligence. Berlin: Springer-Verlag. xiii, 417 p. (1993).

Reviewer: N.Curteanu

MSC: 03B60 68T27 03-02 68-02 03B45 68N17 03B70

Cite Review PDF

Skvortsov, D. P.; Shekhtman, V. B.

Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. (English) Zbl 0794.03028

Ann. Pure Appl. Logic 63, No. 1, 69-101 (1993).

Reviewer: O.Sonobe (Follonica)

MSC: 03B45 03B55 03C90 03C30

Cite Review PDF

Full Text: DOI

Mares, Edwin D.; Meyer, Robert K.

The semantics of $R4$. (English) Zbl 0767.03010

J. Philos. Log. 22, No. 1, 95-110 (1993).

Reviewer: L.F.Goble (Salem)

MSC: 03B47 03B45

Cite Review PDF

Full Text: DOI

Parikh, Rohit

Finite and infinite dialogues. (English) Zbl 0772.03012

Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 481-497 (1992).

Reviewer: J.Šefránek (Bratislava)

MSC: 03B60 03B80 68T30

Cite Review PDF

Mardaev, S. I.

Fixed points of modal schemes. (English. Russian original) Zbl 0795.03038

Algebra Logic 31, No. 5, 292-295 (1992); translation from Algebra Logika 31, No. 5, 493-498 (1992).

MSC: 03B70 03B45

Cite Review PDF

Full Text: DOI

van der Hoek, Wiebe

On the semantics of graded modalities. (English) Zbl 0797.03013

J. Appl. Non-Class. Log. 2, No. 1, 81-123 (1992).

Reviewer: M.Zakharyashev (Moskva)

MSC: 03B45

Cite Review PDF

Fernando, T.

A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation. (English) Zbl 0783.03031

Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 96-110 (1992).

Reviewer: N.Curteanu (Iaşi)

MSC: 03F30 68Q10 68Q55 03C65

Cite Review PDF

Akama, Seiki

The Gentzen-Kripke construction of the intermediate logic LQ. (English) Zbl 0771.03008

Notre Dame J. Formal Logic 33, No. 1, 148-153 (1992).

Reviewer: T.Hosoi (Noda / Chiba)

MSC: 03B55

Cite Review PDF

Full Text: DOI

Hansoul, Georges

Modal-axiomatic classes of Kripke models. (English) Zbl 0749.03043

Algebraic logic, Pap. Colloq., Budap./Hung. 1988, Colloq. Math. Soc. János Bolyai 54, 231-240 (1991).

MSC: 03G05 03B45 06E25

Cite Review PDF

Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.

A model-theoretic analysis of knowledge. (English) Zbl 0799.68177

J. Assoc. Comput. Mach. 38, No. 2, 382-428 (1991).

MSC: 68T30 68T27 03B45 03C99

Cite Review PDF

Full Text: DOI

Kracht, Marcus

Internal definability and completeness in modal logic. (English) Zbl 0742.03004

Berlin: FU Berlin, Fachbereich Mathematik, 97 p. (1991).

Reviewer: L.F.Goble (Salem)

MSC: 03B45

Cite Review PDF

Hansoul, G.; Sart, F.

The canonical Kripke model for the modal system S5 over a finite number of variables. (English) Zbl 0733.03011

Bull. Soc. R. Sci. Liège 60, No. 1, 51-55 (1991).

MSC: 03B45 03G05 03G25

Cite Review PDF

Mitchell, John C.; Moggi, Eugenio

Kripke-style models for typed lambda calculus. (English) Zbl 0728.03011

Ann. Pure Appl. Logic 51, No. 1-2, 99-124 (1991).

Reviewer: T.Hikita (Kawasaki)

MSC: 03B40 18D15

Cite Review PDF

Full Text: DOI

Truszczynski, Mirosław

Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. (English) Zbl 0726.03022

Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 3, 355-366 (1991).

Reviewer: O.Sonobe (Miura City)

MSC: 03B60 03B45 68T27 68T30 03B80

Cite Review PDF

Dzierzgowski, Daniel

Intuitionistic typical ambiguity. (English) Zbl 0723.03035

Arch. Math. Logic 31, No. 3, 171-182 (1991).

Reviewer: D.Dzierzgowski

MSC: 03F55 03C90

Cite Review PDF

Full Text: DOI

Koutny, Maciej

**Axiom system induced by $CTL^*$ logic.** (English) Zbl 0722.68078

Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 2, 235-253 (1991).

Reviewer: Li Xiang (Guiyang)

MSC: 68Q60 03B45 03B70 68Q10

Cite Review PDF

Josko, Bernhard

A context dependent equivalence relation between Kripke structures. (Extended abstract). (English) Zbl 0765.68130

Computer-aided verification, Proc. 2nd Int. Conf., CAV ’90, New Brunswick/NJ (USA), Lect. Notes Comput. Sci. 531, 204-213 (1991).

MSC: 68Q60

Cite Review PDF

Hamaguchi, Kiyoharu; Hiraishi, Hiromi; Yajima, Shuzo

Branching time regular temporal logic for model checking with linear time complexity. (English) Zbl 0773.03013

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/ NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 551-563 (1991).

MSC: 03B45 68M15