Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 68165 results
Sort by: relevance publication year

La logica dei predicati ℒ

BOOK CHAPTER published 2011 in UNITEXT

Authors: Daniele Mundici

https://doi.org/10.1007/978-88-470-1884-6_16 Actions

A Note on Tarski’s Definition of Truth (1955)

BOOK CHAPTER published 2022 in The Logical Writings of Karl Popper

Authors: Karl R. Popper

https://doi.org/10.1007/978-3-030-94926-6_9 Actions

Sintassi della logica dei predicati

BOOK CHAPTER published 2011 in UNITEXT

Authors: Daniele Mundici

https://doi.org/10.1007/978-88-470-1884-6_12 Actions

The requirements of truth and of justification of premisses

JOURNAL ARTICLE published December 1962 in Studia Logica

Authors: Z. Ziemba

https://doi.org/10.1007/bf02317293 Actions

On Cut-Elimination Arguments for Axiomatic Theories of Truth

JOURNAL ARTICLE published June 2022 in Studia Logica

Research funded by Japan Society for the Promotion of Science (20J12361)

Authors: Daichi Hayashi

https://doi.org/10.1007/s11225-021-09978-7 Actions

New Foundations for Logic (1947)

BOOK CHAPTER published 2022 in The Logical Writings of Karl Popper

Authors: David Binder | Thomas Piecha | Peter Schroeder-Heister

https://doi.org/10.1007/978-3-030-94926-6_3 Actions

Paracomplete Truth Theory with a Definable Hierarchy of Determinateness Operators

BOOK CHAPTER published 2020 in Context, Conflict and Reasoning

Authors: Marcos Cramer

https://doi.org/10.1007/978-981-15-7134-3_1 Actions

Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames

JOURNAL ARTICLE published 1995 in Studia Logica

Authors: A. V. Chagrov | L. A. Chagrova

https://doi.org/10.1007/bf01057806 Actions

Internal approach to external sets and universes

JOURNAL ARTICLE published 1995 in Studia Logica

Authors: Vladimir Kanovei | Michael Reeken

https://doi.org/10.1007/bf01057803 Actions

Some independence results in interpretability logic

JOURNAL ARTICLE published March 1991 in Studia Logica

Authors: Vítězslav Švejdar

https://doi.org/10.1007/bf00370385 Actions

Partial isomorphisms and intuitionistic logic

JOURNAL ARTICLE published 1981 in Studia Logica

Authors: Bernd I. Dahn

https://doi.org/10.1007/bf00401658 Actions

Selective bibliography in the logic of action

JOURNAL ARTICLE published 1992 in Studia Logica

https://doi.org/10.1007/bf01028976 Actions

The Logic of the Ontological Square

JOURNAL ARTICLE published February 2009 in Studia Logica

Authors: Luc Schneider

https://doi.org/10.1007/s11225-009-9165-6 Actions

On Axiomatizing Shramko-Wansing’s Logic

JOURNAL ARTICLE published April 2009 in Studia Logica

Authors: Sergei P. Odintsov

https://doi.org/10.1007/s11225-009-9181-6 Actions

Logic of Convex Order

JOURNAL ARTICLE published October 2021 in Studia Logica

Research funded by China Postdoctoral Science Foundation Grant (2019M660705) | the National Social Science Foundation of China (17ZDA026)

Authors: Chenwei Shi | Yang Sun

https://doi.org/10.1007/s11225-020-09940-z Actions

A survey of Leśniewski's logic

JOURNAL ARTICLE published December 1977 in Studia Logica

Authors: V. Frederick Rickey

https://doi.org/10.1007/bf02120674 Actions

IF Modal Logic and Classical Negation

JOURNAL ARTICLE published February 2014 in Studia Logica

Authors: Tero Tulenheimo

https://doi.org/10.1007/s11225-012-9462-3 Actions

Generalizing Deontic Action Logic

JOURNAL ARTICLE published August 2022 in Studia Logica

Research funded by Slovenská Akadémia Vied (Štefan Schwarz Fund 2020-2022)

Authors: Alessandro Giordani | Matteo Pascucci

https://doi.org/10.1007/s11225-022-09989-y Actions

A Splitting Logic in NExt(KTB)

JOURNAL ARTICLE published 3 July 2007 in Studia Logica

Authors: Yutaka Miyazaki

https://doi.org/10.1007/s11225-007-9039-8 Actions

Chang's modal operators in algebraic logic

JOURNAL ARTICLE published March 1983 in Studia Logica

Authors: George Georgescu

https://doi.org/10.1007/bf01418758 Actions
Feedback: support@crossref.org