Tomberlin, James E. Contrary-to-duty imperatives and conditional obligation. (English) Zbl 1366.03147 Nôus 15, No. 3, 357-375 (1981). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{J. E. Tomberlin}, Nôus 15, No. 3, 357--375 (1981; Zbl 1366.03147) Full Text: DOI
Fine, Kit First-order modal theories. I. Sets. (English) Zbl 1366.03056 Nôus 15, No. 2, 177-205 (1981). MSC: 03A05 03B45 03E70 PDFBibTeX XMLCite \textit{K. Fine}, Nôus 15, No. 2, 177--205 (1981; Zbl 1366.03056) Full Text: DOI
Surma, Stanislaw J. On closure operators with the deduction property. (English) Zbl 0566.03018 Multiple-valued logic, Proc. 11th int. Symp., Oklahoma City and Norman/Okla. 1981, 235-243 (1981). MSC: 03B99 03B50 03B45 PDFBibTeX XML
Fischer Servi, Gisèle Completeness for non normal intuitionistic modal logics. (English) Zbl 0542.03006 Note Mat. 1, No. 2, 203-212 (1981). Reviewer: G.Forbes MSC: 03B45 03B55 03F55 03C35 PDFBibTeX XMLCite \textit{G. Fischer Servi}, Note Mat. 1, No. 2, 203--212 (1981; Zbl 0542.03006) Full Text: DOI
Beltrametti, Enrico G. (ed.); van Fraassen, Bas C. (ed.) [Mittelstaedt, P.; van Fraassen, Bas C.; Foulis, D.; Randall, C.; Frazer, P.; Hughes, R. I. G.; Bub, J.; Cooke, R.; Hilgevoord, J.; Dorling, J.; Abbati, M.; Manià, A.; Czelakowski, J.; Dalla Chiara, M.; Bernini, S.; Stachow, E.; Kron, A.; Maric, Z.; Vujosevic, S.; Hardegree, G.; Bugajski, S.; Takeuti, G.; Finkelstein, D.; Kalmbach, G.; Gudder, S.; Maczynski, M.; Greechie, R.; Aerts, D.; Zecca, A.; Marlow, A.; Cegla, W.; Banai, M.; Kruszynski, P.; Lahti, P.; Beltrametti, E.; Mielnik, B.; Cassinelli, G.] Current issues in quantum logic. (Proceedings of the Workshop on Quantum Logic held in Erice, Sicily, December 2-9, 1979). (English) Zbl 0537.03044 Ettore Majorana International Science Series (Physical Sciences), Vol. 8. New York - London: Plenum Press. IX, 492 p. $ 59.50 (1981). Reviewer: I.G.Kalmar MSC: 03G12 00Bxx 81P10 81P20 03-06 81-06 PDFBibTeX XML
Bressan, Aldo; Zanardo, Alberto General operators binding variables in the interpreted modal calculus \(MC^\nu\). (English) Zbl 0525.03005 Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 70, 191-197 (1981). MSC: 03B45 03B15 PDFBibTeX XMLCite \textit{A. Bressan} and \textit{A. Zanardo}, Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 70, 191--197 (1981; Zbl 0525.03005)
Gabbay, Dov M. Expressive functional completeness in tense logic. (Preliminary report). (English) Zbl 0523.03017 Aspects of philosophical logic, Synth. Libr. 147, 91-117 (1981). MSC: 03B45 PDFBibTeX XML
Meyer, Robert K. More implicative extensions for Belnap lattices. (English) Zbl 0519.03011 Rep. Math. Logic 13, 43-51 (1981). MSC: 03B45 03G10 PDFBibTeX XMLCite \textit{R. K. Meyer}, Rep. Math. Logic 13, 43--51 (1981; Zbl 0519.03011)
Meyer, R. K. Almost Skolem forms for relevant (and other) logics. (English) Zbl 0519.03010 Logique Anal., Nouv. Sér. 24, 277-289 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{R. K. Meyer}, Log. Anal., Nouv. Sér. 24, 277--289 (1981; Zbl 0519.03010)
Humberstone, I. L. Relative necessity revisited. (English) Zbl 0519.03009 Rep. Math. Logic 13, 33-42 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{I. L. Humberstone}, Rep. Math. Logic 13, 33--42 (1981; Zbl 0519.03009)
Gabbay, Dov M. An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. (English) Zbl 0519.03008 Aspects of philosophical logic, Synth. Libr. 147, 67-89 (1981). MSC: 03B45 PDFBibTeX XML
Dywan, Zdzislaw The necessity of modal logic \(S_ 5 \)is metalogical. (English) Zbl 0515.03008 Bull. Sect. Logic, Pol. Acad. Sci. 10, 162-169 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{Z. Dywan}, Bull. Sect. Logic, Pol. Acad. Sci. 10, 162--169 (1981; Zbl 0515.03008)
Hilpinen, Risto (ed.) Deontic logic: introductory and systematic readings. (Repr. with new introd.). (English) Zbl 0515.03005 Synthese Library, 33. Pallas Paperbacks, 20. Dordrecht-Boston-London: D. Reidel Publishing Company. VII, 183 p. Dfl. 30.00; $ 12.50 (1981). MSC: 03B45 03B99 03-01 PDFBibTeX XML
Marchini, Carlo Modelli di Kripke e modelli algebrici per \(Spi_ i\). (Italian) Zbl 0514.03012 Riv. Mat. Univ. Parma, IV. Ser. 7, 105-116 (1981). MSC: 03B45 06D20 PDFBibTeX XMLCite \textit{C. Marchini}, Riv. Mat. Univ. Parma, IV. Ser. 7, 105--116 (1981; Zbl 0514.03012)
Chlebus, Bogdan S. On the computational complexity of satisfiability in propositional logic programs. (English) Zbl 0508.68019 Spraw. Inst. Inf. Uniw. Warsz. 99, 40 p. (1981). MSC: 68Q65 03D15 03B45 03B60 PDFBibTeX XML
Dziobiak, Wieslaw Non-existence of a countable strongly adequate matrix semantics for neighbours of E. (English) Zbl 0507.03007 Bull. Sect. Logic, Pol. Acad. Sci. 10, 170-176 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{W. Dziobiak}, Bull. Sect. Logic, Pol. Acad. Sci. 10, 170--176 (1981; Zbl 0507.03007)
Podnieks, K. M. Around Goedel’s theorem. Textbook. (Vokrug teoremy Gedelya. Uchebnoe posobie). (Russian) Zbl 0506.03018 Ministerstvo Vysshego i Srednego Spetsial’nogo Obrazovaniya Latvijskoj SSR. Latvijskij Ordena Trudovogo Krasnogo Znameni Gosudarstvennyj Universitet Imeni Petra Stuchki. Kafedra Diskretnoj Matematiki i Programmirovaniya. Riga: Latvijskij Gosudarstvennyj Universitet im. P. Stuchki. 106 p. R. 0.18 (1981). MSC: 03F99 03-01 PDFBibTeX XML
Nemeti, I. Connections between cylindric algebras and initial algebra semantics of CF languages. (English) Zbl 0502.68024 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 561-605 (1981). MSC: 68Q55 03G15 03C05 PDFBibTeX XML
Shekhtman, V. B. Semantics of modal propositions. (Russian) Zbl 0502.03014 Semiotika Inf. 17, 148-169 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{V. B. Shekhtman}, Semiotika Inf. 17, 148--169 (1981; Zbl 0502.03014)
Montanaro, A.; Bressan, A. Contributions to foundations of probability calculus on the basis of the modal logical calculus \(MC^\nu\) or \(MC^\nu_\infty\). II: On a known existence rule for the probability calculus. (English) Zbl 0501.03010 Rend. Sem. Mat. Univ. Padova 65, 263-270 (1981). MSC: 03B48 03B45 60A05 PDFBibTeX XMLCite \textit{A. Montanaro} and \textit{A. Bressan}, Rend. Semin. Mat. Univ. Padova 65, 263--270 (1981; Zbl 0501.03010) Full Text: Numdam EuDML
Fischer Servi, Gisele Teoremi di completezza per calcoli bimodali. (Italian) Zbl 0499.03004 Riv. Mat. Univ. Parma, IV. Ser. 7, 347-350 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{G. Fischer Servi}, Riv. Mat. Univ. Parma, IV. Ser. 7, 347--350 (1981; Zbl 0499.03004)
Kawai, Hiroya On the completeness theorem for bi-modal system LTOmega and LETOmega. (English) Zbl 0498.03013 Math. Jap. 26, 377-383 (1981). MSC: 03B45 68N01 68Q60 03C75 68Q65 PDFBibTeX XMLCite \textit{H. Kawai}, Math. Japon. 26, 377--383 (1981; Zbl 0498.03013)
Bencivenga, Ermanno; Woodruff, Peter W. A new modal language with the lambda operator. (English) Zbl 0498.03010 Stud. Log. 40, 383-389 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{E. Bencivenga} and \textit{P. W. Woodruff}, Stud. Log. 40, 383--389 (1981; Zbl 0498.03010) Full Text: DOI
Dahn, Bernd I. Partial isomorphisms and intuitionistic logic. (English) Zbl 0496.03011 Stud. Log. 40, 405-413 (1981). MSC: 03B55 03B45 03C35 PDFBibTeX XMLCite \textit{B. I. Dahn}, Stud. Log. 40, 405--413 (1981; Zbl 0496.03011) Full Text: DOI
Cignoli, R.; de Gallego, M. S. The lattice structure of some Lukasiewicz algebras. (English) Zbl 0495.03045 Algebra Univers. 13, 315-328 (1981). MSC: 03G20 03B50 06D30 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{M. S. de Gallego}, Algebra Univers. 13, 315--328 (1981; Zbl 0495.03045) Full Text: DOI
Mirkowska, G. Algorithmic logic with nondeterministic programs. (English) Zbl 0494.68031 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 547-560 (1981). MSC: 68Q65 68Q60 03B60 03B45 PDFBibTeX XML
Sain, I. First order dynamic logic with decidable proofs and workable model theory. (English) Zbl 0494.03022 Fundamentals of computation theory, Proc. int. FCT-Conf., Szeged/ Hung. 1981, Lect. Notes Comput. Sci. 117, 334-340 (1981). MSC: 03C35 03B45 68Q65 03B60 03H99 PDFBibTeX XML
Porte, Jean Notes on modal logics. (English) Zbl 0494.03010 Logique Anal., Nouv. Sér. 24, 399-406 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{J. Porte}, Log. Anal., Nouv. Sér. 24, 399--406 (1981; Zbl 0494.03010)
Kapetanovic, Miodrag A tableaux system in modal logic. (English) Zbl 0494.03009 Publ. Inst. Math., Nouv. Sér. 30(44), 65-67 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{M. Kapetanovic}, Publ. Inst. Math., Nouv. Sér. 30(44), 65--67 (1981; Zbl 0494.03009) Full Text: EuDML
Dosen, Kosta Minimal modal systems in which Heyting and classical logic can be embedded. (English) Zbl 0494.03008 Publ. Inst. Math., Nouv. Sér. 30(44), 41-52 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{K. Dosen}, Publ. Inst. Math., Nouv. Sér. 30(44), 41--52 (1981; Zbl 0494.03008) Full Text: EuDML
Nute, Donald Essential formal semantics. (English) Zbl 0494.03001 Totowa, New Jersey: Rowman and Littlefield. XIII, 186 p. $ 18.95 (1981). MSC: 03-01 03B45 03B65 03A05 03-02 PDFBibTeX XML
Routley, Richard How disjunctive syllogism can be seen as a fallacy of relevance. (English) Zbl 0492.03002 Bull. Sect. Logic, Pol. Acad. Sci. 10, 144-151 (1981). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{R. Routley}, Bull. Sect. Logic, Pol. Acad. Sci. 10, 144--151 (1981; Zbl 0492.03002)
Hajek, Petr; Kurka, Petr A second-order dynamic logic with array assignments. (English) Zbl 0491.68033 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 919-933 (1981). MSC: 68Q65 03B45 68Q60 PDFBibTeX XMLCite \textit{P. Hajek} and \textit{P. Kurka}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 919--933 (1981; Zbl 0491.68033)
Dziobiak, Wieslaw Strong completeness with respect to finite Kripke models. (English) Zbl 0491.03027 Stud. Log. 40, 249-252 (1981). MSC: 03G25 03B45 03B55 08B99 PDFBibTeX XMLCite \textit{W. Dziobiak}, Stud. Log. 40, 249--252 (1981; Zbl 0491.03027) Full Text: DOI
Ruzsa, Imre An approach to intensional logic. (English) Zbl 0491.03006 Stud. Log. 40, 269-287 (1981). MSC: 03B45 03B65 PDFBibTeX XMLCite \textit{I. Ruzsa}, Stud. Log. 40, 269--287 (1981; Zbl 0491.03006) Full Text: DOI
Chapman, Tobias Quantum logic and modality. (English) Zbl 0489.03025 Logique Anal., Nouv. Sér. 24, 99-111 (1981). MSC: 03G12 03B45 81P10 PDFBibTeX XMLCite \textit{T. Chapman}, Log. Anal., Nouv. Sér. 24, 99--111 (1981; Zbl 0489.03025)
Rybakov, V. V. Admissible rules of pretabular modal logics. (Russian) Zbl 0489.03005 Algebra Logika 20, 440-464 (1981). MSC: 03B45 03B55 03B25 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Algebra Logika 20, 440--464 (1981; Zbl 0489.03005) Full Text: EuDML
Rosenberg, Shalom On the modal version of the ontological argument. (English) Zbl 0488.03005 Logique Anal., Nouv. Sér. 24, 129-133 (1981). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{S. Rosenberg}, Log. Anal., Nouv. Sér. 24, 129--133 (1981; Zbl 0488.03005)
Hajek, Petr On interpretability in theories containing arithmetic. II. (English) Zbl 0487.03032 Commentat. Math. Univ. Carol. 22, 667-688 (1981). MSC: 03F25 03B45 03F30 PDFBibTeX XMLCite \textit{P. Hajek}, Commentat. Math. Univ. Carol. 22, 667--688 (1981; Zbl 0487.03032) Full Text: EuDML
Mirkowska, Grazyna PAL - propositional algorithmic logic. (English) Zbl 0487.03012 Logic of programs, Workshop, ETH Zürich 1979, Lect. Notes Comput. Sci. 125, 23-101 (1981). MSC: 03B60 68Q65 03B45 68N01 PDFBibTeX XML
Muravitskij, A. Yu. Strong equivalence on intuitionistic Kripke models and assertorically equi-extensional logics. (Russian) Zbl 0486.03015 Algebra Logika 20, 165-182 (1981). MSC: 03B55 03B45 03C99 PDFBibTeX XMLCite \textit{A. Yu. Muravitskij}, Algebra Logika 20, 165--182 (1981; Zbl 0486.03015) Full Text: EuDML
Kron, Aleksandar Correction to ”Gentzen formulations of two positive relevance logics”. (English) Zbl 0486.03013 Stud. Log. 40, 311 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{A. Kron}, Stud. Log. 40, 311 (1981; Zbl 0486.03013) Full Text: DOI
Montanaro, A.; Bressan, A. Contributions to foundations of probability calculus on the basis of the modal logical calculus MC(nu) or MC*(nu). (English) Zbl 0485.03006 Rend. Sem. Mat. Univ. Padova 64, 109-126 (1981). MSC: 03B48 03B45 60A05 PDFBibTeX XMLCite \textit{A. Montanaro} and \textit{A. Bressan}, Rend. Semin. Mat. Univ. Padova 64, 109--126 (1981; Zbl 0485.03006) Full Text: Numdam EuDML
Bernert, Jan; Biela, Andrzej On two different modal logics denoted by S9. (English) Zbl 0485.03004 Rep. Math. Logic 13, 3-9 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{J. Bernert} and \textit{A. Biela}, Rep. Math. Logic 13, 3--9 (1981; Zbl 0485.03004)
Muravitskij, A. Yu. Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model. (English. Russian original) Zbl 0484.03009 Math. Notes 29, 463-468 (1981); translation from Mat. Zametki 29, 907-916 (1981). MSC: 03B60 03B45 PDFBibTeX XMLCite \textit{A. Yu. Muravitskij}, Math. Notes 29, 463--468 (1981; Zbl 0484.03009); translation from Mat. Zametki 29, 907--916 (1981) Full Text: DOI
Segerberg, Krister Action-games. (English) Zbl 0484.03007 Acta Philos. Fenn. 32, 220-231 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{K. Segerberg}, Acta Philos. Fenn. 32, 220--231 (1981; Zbl 0484.03007)
Zanardo, Alberto A completeness theorem for the general interpreted modal calculus \(MC^\nu\) of A. Bressan. (English) Zbl 0484.03006 Rend. Sem. Mat. Univ. Padova 64, 39-57 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{A. Zanardo}, Rend. Semin. Mat. Univ. Padova 64, 39--57 (1981; Zbl 0484.03006) Full Text: Numdam EuDML
Fetzer, James H. Probability and explanation. (English) Zbl 0483.03011 Synthese 48, 371-408 (1981). MSC: 03B48 03B45 60A05 PDFBibTeX XMLCite \textit{J. H. Fetzer}, Synthese 48, 371--408 (1981; Zbl 0483.03011) Full Text: DOI
Nute, Donald Causes, laws, and law statements. (English) Zbl 0483.03010 Synthese 48, 347-369 (1981). MSC: 03B48 03B45 60A05 PDFBibTeX XMLCite \textit{D. Nute}, Synthese 48, 347--369 (1981; Zbl 0483.03010) Full Text: DOI
Stern, Cindy D. Lewis’ counterfactual analysis of causation. (English) Zbl 0483.03009 Synthese 48, 333-345 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{C. D. Stern}, Synthese 48, 333--345 (1981; Zbl 0483.03009) Full Text: DOI
Dziobiak, Wieslaw On matrices characteristic of relevant logics. (English) Zbl 0483.03008 Bull. Sect. Logic, Pol. Acad. Sci. 10, 113-115 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{W. Dziobiak}, Bull. Sect. Logic, Pol. Acad. Sci. 10, 113--115 (1981; Zbl 0483.03008)
Kozen, Dexter On the duality of dynamic algebras and Kripke models. (English) Zbl 0482.03008 Logic of programs, Workshop, ETH Zürich 1979, Lect. Notes Comput. Sci. 125, 1-11 (1981). MSC: 03B60 03G25 68Q65 03C99 68Q60 PDFBibTeX XML
Unterholzner, Paola Algebraic and relational semantics for tense logics. (English) Zbl 0482.03006 Rend. Sem. Mat. Univ. Padova 65, 119-128 (1981). MSC: 03B45 03G30 03G25 PDFBibTeX XMLCite \textit{P. Unterholzner}, Rend. Semin. Mat. Univ. Padova 65, 119--128 (1981; Zbl 0482.03006) Full Text: Numdam EuDML
Grzegorczyk, Andrzej Individualistic formal approach to deontic logic. (English) Zbl 0482.03004 Stud. Log. 40, 99-102 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{A. Grzegorczyk}, Stud. Log. 40, 99--102 (1981; Zbl 0482.03004) Full Text: DOI
Meyer, Robert K.; Giambrone, Steve Strict implication in T. (English) Zbl 0482.03003 Logique Anal., Nouv. Sér. 24, 267-269 (1981). MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{R. K. Meyer} and \textit{S. Giambrone}, Log. Anal., Nouv. Sér. 24, 267--269 (1981; Zbl 0482.03003)
Gumb, Raymond D. An explication of the notion of a consistent evolving theory. (English) Zbl 0482.03001 Logique Anal., Nouv. Sér. 24, 113-127 (1981). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{R. D. Gumb}, Log. Anal., Nouv. Sér. 24, 113--127 (1981; Zbl 0482.03001)
Bendova, Kamila On the relation of three-valued logic to modal logic. (English) Zbl 0481.03012 Commentat. Math. Univ. Carol. 22, 637-653 (1981). MSC: 03B50 03B45 PDFBibTeX XMLCite \textit{K. Bendova}, Commentat. Math. Univ. Carol. 22, 637--653 (1981; Zbl 0481.03012) Full Text: EuDML
Humberstone, I. L. From worlds to possibilities. (English) Zbl 0481.03011 J. Philos. Logic 10, 313-339 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{I. L. Humberstone}, J. Philos. Log. 10, 313--339 (1981; Zbl 0481.03011) Full Text: DOI
Charlwood, G. An axiomatic version of positive semilattice relevance logic. (English) Zbl 0479.03012 J. Symb. Log. 46, 233-239 (1981). MSC: 03B45 03C90 PDFBibTeX XMLCite \textit{G. Charlwood}, J. Symb. Log. 46, 233--239 (1981; Zbl 0479.03012) Full Text: DOI
Kearns, John T. Modal semantics without possible worlds. (English) Zbl 0479.03011 J. Symb. Log. 46, 77-86 (1981). MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{J. T. Kearns}, J. Symb. Log. 46, 77--86 (1981; Zbl 0479.03011) Full Text: DOI
McGee, Vann Finite matrices and the logic of conditionals. (English) Zbl 0479.03010 J. Philos. Logic 10, 349-351 (1981). MSC: 03B45 03B48 03B60 03B50 PDFBibTeX XMLCite \textit{V. McGee}, J. Philos. Log. 10, 349--351 (1981; Zbl 0479.03010) Full Text: DOI
Ruzsa, Imre Modal logic with descriptions. (English) Zbl 0479.03009 Nijhoff International Philosophy Series, Vol. 10. The Hague; Boston; London: Martinus Nijhoff Publishers; Budapest: Akademiai Kiado. 135 p. Dfl. 55.00; $ 24.00 (1981). MSC: 03B45 03B50 03-02 03A05 PDFBibTeX XML
Turner, Raymond Counterfactuals without possible worlds. (English) Zbl 0479.03008 J. Philos. Logic 10, 453-493 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{R. Turner}, J. Philos. Log. 10, 453--493 (1981; Zbl 0479.03008) Full Text: DOI
Marek, Johann Christian Über weder notwendige noch hinreichende Bedingungen. Zur logischen Analyse einer gebräuchlichen philosophischen Redewendung. (German) Zbl 0479.03003 Logik, Ethik und Sprache, Festschr. R. Freundlich, 154-165 (1981). MSC: 03A05 03B45 03B05 03B10 PDFBibTeX XML
Van Benthem, J. F. A. K. Tense logic, second-order logic and natural language. (English) Zbl 0476.03029 Aspects of philosophical logic, Synth. Libr. 147, 1-20 (1981). MSC: 03B45 03A05 03B65 03B15 PDFBibTeX XML
Bressan, Aldo Extensions of the modal calculi \(\mathrm{MC}^\nu\) and \(\mathrm{MC}^\infty\). Comparison of them with similar calculi endowed with different semantics. Application to probability theory. (English) Zbl 0476.03028 Aspects of philosophical logic, Synth. Libr. 147, 21-66 (1981). Reviewer: Aldo Bressan MSC: 03B45 03B48 60A05 PDFBibTeX XML
Urchs, Max P. Semantische Typen für klassische Modallogiken. (German) Zbl 0476.03027 Wiss. Z., Martin-Luther-Univ. Halle-Wittenberg, Math.-Naturwiss. Reihe 30, No. 1, 71-80 (1981). MSC: 03B45 03-02 PDFBibTeX XMLCite \textit{M. P. Urchs}, Wiss. Z. Martin-Luther-Univ. Halle-Wittenberg, Math.-Naturwiss. Reihe 30, No. 1, 71--80 (1981; Zbl 0476.03027)
Porte, Jean The deducibilities of S5. (English) Zbl 0475.03005 J. Philos. Logic 10, 409-422 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{J. Porte}, J. Philos. Log. 10, 409--422 (1981; Zbl 0475.03005) Full Text: DOI
Goldblatt, Robert I. Grothendieck topology as geometric modality. (English) Zbl 0474.03018 Z. Math. Logik Grundlagen Math. 27, 495-529 (1981). MSC: 03C99 03B45 18F10 03G30 PDFBibTeX XMLCite \textit{R. I. Goldblatt}, Z. Math. Logik Grundlagen Math. 27, 495--529 (1981; Zbl 0474.03018) Full Text: DOI
Warmbrod, Ken Counterfactuals and substitution of equivalent antecedents. (English) Zbl 0473.03018 J. Philos. Logic 10, 267-289 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{K. Warmbrod}, J. Philos. Log. 10, 267--289 (1981; Zbl 0473.03018) Full Text: DOI
Pollock, John L. A refined theory of counterfactuals. (English) Zbl 0473.03017 J. Philos. Logic 10, 239-266 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{J. L. Pollock}, J. Philos. Log. 10, 239--266 (1981; Zbl 0473.03017) Full Text: DOI
Mayer, John C. A misplaced thesis of conditional logic. (English) Zbl 0473.03016 J. Philos. Logic 10, 235-238 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{J. C. Mayer}, J. Philos. Log. 10, 235--238 (1981; Zbl 0473.03016) Full Text: DOI
Lewis, David Ordering semantics and premise semantics for counterfactuals. (English) Zbl 0473.03015 J. Philos. Logic 10, 217-234 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{D. Lewis}, J. Philos. Log. 10, 217--234 (1981; Zbl 0473.03015) Full Text: DOI
Kratzer, Angelika Partition and revision: the semantics of counterfactuals. (English) Zbl 0473.03014 J. Philos. Logic 10, 201-216 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{A. Kratzer}, J. Philos. Log. 10, 201--216 (1981; Zbl 0473.03014) Full Text: DOI
Blue, N. A. A metalinguistic interpretation of counterfactual conditionals. (English) Zbl 0473.03013 J. Philos. Logic 10, 179-200 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{N. A. Blue}, J. Philos. Log. 10, 179--200 (1981; Zbl 0473.03013) Full Text: DOI
Adams, Ernest W. Transmissible improbabilities and marginal essentialness of premises in inferences involving indicative conditionals. (English) Zbl 0473.03012 J. Philos. Logic 10, 149-177 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{E. W. Adams}, J. Philos. Log. 10, 149--177 (1981; Zbl 0473.03012) Full Text: DOI
Nute, Donald Introduction to the issue on the theory of conditionals. (English) Zbl 0473.03011 J. Philos. Logic 10, 127-147 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{D. Nute}, J. Philos. Log. 10, 127--147 (1981; Zbl 0473.03011) Full Text: DOI
Boolos, George On systems of modal logic with provability interpretations. (English) Zbl 0473.03010 Theoria 46, 7-18 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{G. Boolos}, Theoria 46, 7--18 (1981; Zbl 0473.03010) Full Text: DOI
Nagle, Michael C. The decidability of normal K5 logics. (English) Zbl 0473.03009 J. Symb. Log. 46, 319-328 (1981). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{M. C. Nagle}, J. Symb. Log. 46, 319--328 (1981; Zbl 0473.03009) Full Text: DOI
Dosen, Kosta A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic. (English) Zbl 0473.03008 J. Philos. Logic 10, 399-408 (1981). MSC: 03B20 03B45 PDFBibTeX XMLCite \textit{K. Dosen}, J. Philos. Log. 10, 399--408 (1981; Zbl 0473.03008) Full Text: DOI
Over, D. E. Game theoretical semantics and entailment. (English) Zbl 0472.03017 Stud. Log. 40, 67-74 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{D. E. Over}, Stud. Log. 40, 67--74 (1981; Zbl 0472.03017) Full Text: DOI
Jennings, R. E.; Schotch, P. K.; Johnston, D. K. The n-adic first-order undefinability of the Geach formula. (English) Zbl 0472.03015 Notre Dame J. Formal Logic 22, 375-378 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{R. E. Jennings} et al., Notre Dame J. Formal Logic 22, 375--378 (1981; Zbl 0472.03015) Full Text: DOI
Jennings, R. E.; Schotch, P. K. Some remarks on (weakly) weak modal logics. (English) Zbl 0472.03014 Notre Dame J. Formal Logic 22, 309-314 (1981). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{R. E. Jennings} and \textit{P. K. Schotch}, Notre Dame J. Formal Logic 22, 309--314 (1981; Zbl 0472.03014) Full Text: DOI
Meyer, Albert R.; Parikh, Rohit Definability in dynamic logic. (English) Zbl 0472.03013 J. Comput. Syst. Sci. 23, 279-298 (1981). MSC: 03B45 68Q65 PDFBibTeX XMLCite \textit{A. R. Meyer} and \textit{R. Parikh}, J. Comput. Syst. Sci. 23, 279--298 (1981; Zbl 0472.03013) Full Text: DOI
Weyl, Hermann La fantome de la modalite. (French) Zbl 0472.03001 Math. Sci. Hum. 74, 37-60 (1981). MSC: 03A05 03B45 01A75 PDFBibTeX XMLCite \textit{H. Weyl}, Math. Sci. Hum. 74, 37--60 (1981; Zbl 0472.03001) Full Text: Numdam EuDML
Diaz, M. Richard Topics in the logic of relevance. (English) Zbl 0471.03004 Analytica. München: Philosophia Verlag. 144 p. DM 68.00 (1981). MSC: 03A05 03B45 03-02 PDFBibTeX XML
Moore, G. William; Hutchins, Grover M. A Hintikka possible worlds model for certainty levels in medical decision making. (English) Zbl 0469.92004 Synthese 48, 87-119 (1981). MSC: 92C50 03B45 03B60 PDFBibTeX XMLCite \textit{G. W. Moore} and \textit{G. M. Hutchins}, Synthese 48, 87--119 (1981; Zbl 0469.92004) Full Text: DOI
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna The deducibility problem in propositional dynamic logic. (English) Zbl 0469.68041 Logic of programs, Workshop, ETH Zürich 1979, Lect. Notes Comput. Sci. 125, 12-92 (1981). MSC: 68Q65 03B45 03D15 68N01 PDFBibTeX XML
Kawai, Hiroya Deductive system LPC for parallel computation. (English) Zbl 0469.68036 Math. Jap. 26, 275-285 (1981). MSC: 68N25 68N01 03B45 68Q60 68Q65 PDFBibTeX XMLCite \textit{H. Kawai}, Math. Japon. 26, 275--285 (1981; Zbl 0469.68036)
Nishimura, Hirokazu Model theory for tense logic: Saturated and special models with applications to the tense hierarchy. (English) Zbl 0469.03019 Stud. Log. 40, 89-98 (1981). MSC: 03C50 03C40 03B45 PDFBibTeX XMLCite \textit{H. Nishimura}, Stud. Log. 40, 89--98 (1981; Zbl 0469.03019) Full Text: DOI
Visser, Albert A propositional logic with explicit fixed points. (English) Zbl 0469.03012 Stud. Log. 40, 155-175 (1981). MSC: 03B45 03A05 03C35 PDFBibTeX XMLCite \textit{A. Visser}, Stud. Log. 40, 155--175 (1981; Zbl 0469.03012) Full Text: DOI
Maksimova, L. L. Interpolation theorems in modal logics. Sufficient conditions. (English. Russian original) Zbl 0469.03011 Algebra Logic 19, 120-132 (1981); translation from Algebra Logika 19, 194-213 (1980). MSC: 03B45 PDFBibTeX XMLCite \textit{L. L. Maksimova}, Algebra Logic 19, 120--132 (1981; Zbl 0469.03011); translation from Algebra Logika 19, 194--213 (1980) Full Text: DOI EuDML
White, Michael J. On some ascending chains of Brouwerian modal logics. (English) Zbl 0469.03010 Stud. Log. 40, 75-87 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{M. J. White}, Stud. Log. 40, 75--87 (1981; Zbl 0469.03010) Full Text: DOI
Vakarelov, Dimiter Intuitionistic modal logics incompatible with the law of the excluded middle. (English) Zbl 0469.03009 Stud. Log. 40, 103-111 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{D. Vakarelov}, Stud. Log. 40, 103--111 (1981; Zbl 0469.03009) Full Text: DOI
Berman, Francine; Paterson, Michael Propositional dynamic logic is weaker without tests. (English) Zbl 0468.68039 Theor. Comput. Sci. 16, 321-328 (1981). MSC: 68Q65 68N01 03B45 PDFBibTeX XMLCite \textit{F. Berman} and \textit{M. Paterson}, Theor. Comput. Sci. 16, 321--328 (1981; Zbl 0468.68039) Full Text: DOI
Parikh, Rohit [Kozen, D.] Propositional dynamic logics of programs: A survey. (English) Zbl 0468.68038 Logic of programs, Workshop, ETH Zürich 1979, Lect. Notes Comput. Sci. 125, 102-144 (1981). MSC: 68Q65 03B45 68N01 68-02 03-02 00A15 PDFBibTeX XML
Leivant, Daniel Proof theoretic methodology for propositional dynamic logic. (English) Zbl 0467.03015 Formalization of programming concepts, Proc. int. Colloq., Peniscola/Spain 1981, Lect. Notes Comput. Sci. 107, 356-373 (1981). MSC: 03B45 68Q65 03F99 PDFBibTeX XML
Fischer Servi, Gisele Remarks on Halmos’ duality theory. (English) Zbl 0467.03014 Boll. Unione Mat. Ital., V. Ser., A 18, 457-460 (1981). MSC: 03B45 03G05 03B55 PDFBibTeX XMLCite \textit{G. Fischer Servi}, Boll. Unione Mat. Ital., V. Ser., A 18, 457--460 (1981; Zbl 0467.03014)
Makinson, David Non-equivalent formulae in one variable in a strong omnitemporal modal logic. (English) Zbl 0467.03012 Z. Math. Logik Grundlagen Math. 27, 111-112 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{D. Makinson}, Z. Math. Logik Grundlagen Math. 27, 111--112 (1981; Zbl 0467.03012) Full Text: DOI
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna The deducibility problem in propositional dynamic logic. (English) Zbl 0466.68024 Automata, languages and programming, 8th Colloq., Acre (Akko)/Isr. 1981, Lect. Notes Comput. Sci. 115, 238-248 (1981). MSC: 68Q65 03B45 03D15 68N01 PDFBibTeX XML