Czarnecki, Marek; Zdanowski, Konrad A modal logic of a truth definition for finite models. (English) Zbl 1435.03042 Fundam. Inform. 164, No. 4, 299-325 (2019). MSC: 03B45 03C62 03C13 PDF BibTeX XML Cite \textit{M. Czarnecki} and \textit{K. Zdanowski}, Fundam. Inform. 164, No. 4, 299--325 (2019; Zbl 1435.03042) Full Text: DOI
Hodges, Wilfrid Remarks on compositionality. (English) Zbl 1429.03118 Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 99-107 (2016). MSC: 03B60 03-03 01A60 PDF BibTeX XML Cite \textit{W. Hodges}, in: Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on `Dependence logic: theory and applications', Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 99--107 (2016; Zbl 1429.03118) Full Text: DOI
Meadows, Toby Truth, dependence and supervaluation: living with the ghost. (English) Zbl 1309.03005 J. Philos. Log. 42, No. 2, 221-240 (2013). MSC: 03A05 PDF BibTeX XML Cite \textit{T. Meadows}, J. Philos. Log. 42, No. 2, 221--240 (2013; Zbl 1309.03005) Full Text: DOI
Hintikka, Jaakko IF logic, definitions and the vicious circle principle. (English) Zbl 1259.03010 J. Philos. Log. 41, No. 2, 505-517 (2012). MSC: 03A05 03B60 PDF BibTeX XML Cite \textit{J. Hintikka}, J. Philos. Log. 41, No. 2, 505--517 (2012; Zbl 1259.03010) Full Text: DOI
Rojszczak, Artur From the act of judging to the sentence. The problem of truth bearers from Bolzano to Tarski. (English) Zbl 1140.03002 Synthese Library 328. Dordrecht: Springer (ISBN 1-4020-3396-6/hbk; 1-4020-3397-4/ebook). xv, 240 p. (2005). Reviewer: Lars Löfgren (Lund) MSC: 03-03 01A60 03A05 03-02 PDF BibTeX XML Cite \textit{A. Rojszczak}, From the act of judging to the sentence. The problem of truth bearers from Bolzano to Tarski. Dordrecht: Springer (2005; Zbl 1140.03002) Full Text: DOI
Ray, Greg On the matter of essential richness. (English) Zbl 1086.03005 J. Philos. Log. 34, No. 4, 433-457 (2005). MSC: 03A05 PDF BibTeX XML Cite \textit{G. Ray}, J. Philos. Log. 34, No. 4, 433--457 (2005; Zbl 1086.03005) Full Text: DOI
Krajewski, Stanisław Gödel on Tarski. (English) Zbl 1058.03004 Ann. Pure Appl. Logic 127, No. 1-3, 303-323 (2004). Reviewer: Leon Harkleroad (Wilton) MSC: 03-03 01A60 01A70 03A05 PDF BibTeX XML Cite \textit{S. Krajewski}, Ann. Pure Appl. Logic 127, No. 1--3, 303--323 (2004; Zbl 1058.03004) Full Text: DOI
Hintikka, Jaakko Independence-friendly logic and axiomatic set theory. (English) Zbl 1052.03010 Ann. Pure Appl. Logic 126, No. 1-3, 313-333 (2004). MSC: 03B60 03B30 03E30 PDF BibTeX XML Cite \textit{J. Hintikka}, Ann. Pure Appl. Logic 126, No. 1--3, 313--333 (2004; Zbl 1052.03010) Full Text: DOI
Hodges, Wilfrid What languages have Tarski truth definitions? (English) Zbl 1056.03016 Ann. Pure Appl. Logic 126, No. 1-3, 93-113 (2004). MSC: 03C07 01A60 03-03 PDF BibTeX XML Cite \textit{W. Hodges}, Ann. Pure Appl. Logic 126, No. 1--3, 93--113 (2004; Zbl 1056.03016) Full Text: DOI
Plisko, Valery Arithmetic complexity of the predicate logics of certain complete arithmetic theories. (English) Zbl 0992.03074 Ann. Pure Appl. Logic 113, No. 1-3, 243-259 (2002). Reviewer: Branislav Boričić (Beograd) MSC: 03F30 03F55 PDF BibTeX XML Cite \textit{V. Plisko}, Ann. Pure Appl. Logic 113, No. 1--3, 243--259 (2002; Zbl 0992.03074) Full Text: DOI
Mostowski, Marcin On representing concepts in finite models. (English) Zbl 0992.03043 Math. Log. Q. 47, No. 4, 513-523 (2001). MSC: 03C13 03D25 03B15 03C85 03D40 PDF BibTeX XML Cite \textit{M. Mostowski}, Math. Log. Q. 47, No. 4, 513--523 (2001; Zbl 0992.03043) Full Text: DOI
Weingartner, Paul Tarski’s truth condition revisited. (English) Zbl 0969.03012 Woleński, Jan (ed.) et al., Alfred Tarski and the Vienna circle. Austro-Polish connections in logical empiricism. Papers from the international conference, Vienna, Austria, July 12-14, 1997. Dordrecht: Kluwer Academic Publishers. Vienna Circ. Inst. Yearb. 6, 193-201 (1999). MSC: 03A05 03-03 PDF BibTeX XML Cite \textit{P. Weingartner}, Vienna Circ. Inst. Yearb. 6, 193--201 (1999; Zbl 0969.03012)
Plisko, V. E. On arithmetic complexity of the predicate logics of complete constructive arithmetic theories. (Russian. English summary) Zbl 0964.03064 Fundam. Prikl. Mat. 5, No. 1, 221-255 (1999). Reviewer: Branislav Boričić (Beograd) MSC: 03F55 03F30 PDF BibTeX XML Cite \textit{V. E. Plisko}, Fundam. Prikl. Mat. 5, No. 1, 221--255 (1999; Zbl 0964.03064) Full Text: Link
DeVidi, David; Solomon, Graham Tarski on “essentially richer” metalanguages. (English) Zbl 0940.03003 J. Philos. Log. 28, No. 1, 1-28 (1999). MSC: 03A05 PDF BibTeX XML Cite \textit{D. DeVidi} and \textit{G. Solomon}, J. Philos. Log. 28, No. 1, 1--28 (1999; Zbl 0940.03003) Full Text: DOI
Sandu, Gabriel IF-logic and truth-definition. (English) Zbl 0905.03030 J. Philos. Log. 27, No. 2, 143-164 (1998). MSC: 03C80 03A05 PDF BibTeX XML Cite \textit{G. Sandu}, J. Philos. Log. 27, No. 2, 143--164 (1998; Zbl 0905.03030) Full Text: DOI
Nelson, R. J. Proxy functions, truth and reference. (English) Zbl 0929.03010 Synthese 111, No. 1, 73-95 (1997). MSC: 03A05 PDF BibTeX XML Cite \textit{R. J. Nelson}, Synthese 111, No. 1, 73--95 (1997; Zbl 0929.03010) Full Text: DOI
Levin, Michael Still a horse-race. (English) Zbl 0748.03006 Hist. Philos. Log. 13, No. 1, 111-114 (1992). MSC: 03A05 PDF BibTeX XML Cite \textit{M. Levin}, Hist. Philos. Log. 13, No. 1, 111--114 (1992; Zbl 0748.03006) Full Text: DOI
Motohashi, Nobuyoshi A mathematical definition of truth and model theory. (Japanese) Zbl 0614.03002 Sûgaku 37, 305-321 (1985). Reviewer: M.Yasuhara MSC: 03-02 03B99 03Cxx 03B10 PDF BibTeX XML Cite \textit{N. Motohashi}, Sūgaku 37, 305--321 (1985; Zbl 0614.03002)
Hájek, Petr On a new notion of partial conservativity. (English) Zbl 0587.03042 Computation and proof theory, Proc. Logic Colloq., Aachen 1983, Part II, Lect. Notes Math. 1104, 217-232 (1984). Reviewer: K.Čuda MSC: 03F30 03F20 03H15 PDF BibTeX XML
van Benthem, Johan Possible worlds semantics: a research program that cannot fail? (English) Zbl 0573.03005 Stud. Log. 43, 379-393 (1984). MSC: 03B45 03C40 PDF BibTeX XML Cite \textit{J. van Benthem}, Stud. Log. 43, 379--393 (1984; Zbl 0573.03005) Full Text: DOI
Leivant, Daniel Implicational complexity in intuitionistic arithmetic. (English) Zbl 0488.03032 J. Symb. Log. 46, 240-248 (1981). MSC: 03F50 03F30 PDF BibTeX XML Cite \textit{D. Leivant}, J. Symb. Log. 46, 240--248 (1981; Zbl 0488.03032) Full Text: DOI