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

Decidability of Logics Based on an Indeterministic Metric Tense Logic

JOURNAL ARTICLE published December 2015 in Studia Logica

Authors: Yan Zhang | Kai Li

https://doi.org/10.1007/s11225-015-9613-4 Actions

From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth

JOURNAL ARTICLE published 9 August 2023 in Studia Logica

Research funded by Conselho Nacional de Desenvolvimento Científico e Tecnológico (306530/2019-8,310037/2021-2) | Fundação de Amparo à Pesquisa do Estado de Minas Gerais (APQ-02093-21)

Authors: Marcelo E. Coniglio | Abilio Rodrigues

https://doi.org/10.1007/s11225-023-10062-5 Actions

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic

JOURNAL ARTICLE published June 2017 in Studia Logica

Research funded by Czech Science Foundation (GA13-14654S)

Authors: Tomáš Lávička | Carles Noguera

https://doi.org/10.1007/s11225-016-9699-3 Actions

Type Logics and Pregroups

JOURNAL ARTICLE published 6 December 2007 in Studia Logica

Authors: Wojciech Buszkowski

https://doi.org/10.1007/s11225-007-9083-4 Actions

Kripke Incomplete Logics Containing KTB

JOURNAL ARTICLE published 3 July 2007 in Studia Logica

Authors: Yutaka Miyazaki

https://doi.org/10.1007/s11225-007-9056-7 Actions

On superintuitionistic logics as fragments of proof logic extensions

JOURNAL ARTICLE published March 1986 in Studia Logica

Authors: A. V. Kuznetsov | A. Yu. Muravitsky

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

A Method of Generating Modal Logics Defining Jaśkowski’s Discussive Logic D2

JOURNAL ARTICLE published February 2011 in Studia Logica

Authors: Marek Nasieniewski | Andrzej Pietruszczak

https://doi.org/10.1007/s11225-010-9302-2 Actions

Notes on Logics of Metric Spaces

JOURNAL ARTICLE published 13 February 2007 in Studia Logica

Authors: Oliver Kutz

https://doi.org/10.1007/s11225-007-9023-3 Actions

A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic

JOURNAL ARTICLE published August 2023 in Studia Logica

Research funded by Japan Society for the Promotion of Science (KAKENHI Grant-in-Aid for Scientific Research (C) Grant Number 19K12113,KAKENHI Grant-in-Aid for Scientific Research (B) Grant Number 17H02258.) | Japan Society for the Promotion of ScienceJapan Society for the Promotion of Science (KAKENHI Grant Number JP 20J11427.)

Authors: Youan Su | Katsuhiko Sano

https://doi.org/10.1007/s11225-023-10037-6 Actions

The contraction rule and decision problems for logics without structural rules

JOURNAL ARTICLE published June 1991 in Studia Logica

Authors: Eiji Kiriyama | Hlroakira Ono

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

Epistemic Contextualism and Positional Logic

JOURNAL ARTICLE published 2 February 2021 in Studia z Historii Filozofii

Authors: Mateusz Klonowski | Rafał Palczewski

https://doi.org/10.12775/szhf.2020.019 Actions

Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics

BOOK CHAPTER published 2016 in Logic in Asia: Studia Logica Library

Authors: Sakiko Yamasaki | Katsuhiko Sano

https://doi.org/10.1007/978-3-662-48357-2_11 Actions

On the degree of complexity of sentential logics, III. An example of Johansson's minimal logic

JOURNAL ARTICLE published December 1987 in Studia Logica

Authors: Jacek Hawranek

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

Uniform Interpolation and Propositional Quantifiers in Modal Logics

JOURNAL ARTICLE published 13 February 2007 in Studia Logica

Authors: Marta Bílková

https://doi.org/10.1007/s11225-007-9021-5 Actions

Attitudes Toward Epistemic Risk and the Value of Experiments

JOURNAL ARTICLE published 25 July 2007 in Studia Logica

Authors: Don Fallis

https://doi.org/10.1007/s11225-007-9060-y Actions

Algebraic Semantics for Hybrid Logics

BOOK CHAPTER published 2020 in Logic in Asia: Studia Logica Library

Authors: Willem Conradie | Claudette Robinson

https://doi.org/10.1007/978-981-15-1342-8_6 Actions

Refutation systems in modal logic

JOURNAL ARTICLE published 1994 in Studia Logica

Authors: Valentin Goranko

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

On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem

JOURNAL ARTICLE published December 2021 in Studia Logica

Authors: Yoshiki Nakamura | Naosuke Matsuda

https://doi.org/10.1007/s11225-021-09955-0 Actions

Propositional logic for topology-like matrices: a calculus with restricted substitution

JOURNAL ARTICLE published June 1978 in Studia Logica

Authors: Thomas M. Leschine

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

Channel Theoretic Reflections on Dynamic Logics of Speech Acts

BOOK CHAPTER published 2016 in Logic in Asia: Studia Logica Library

Authors: Tomoyuki Yamada

https://doi.org/10.1007/978-3-662-48357-2_10 Actions
Feedback: support@crossref.org