Heinrich Wansing

Stud Logica, April, 2024

2023

Logical Multilateralism.

[BibT_eX]

[DOI]

Sara Ayhan

J. Philos. Log., December, 2023

On the Provable Contradictions of the Connexive Logics C and C3.

[BibT_eX]

[DOI]

Satoru Niki

J. Philos. Log., October, 2023

Stit-Logic for Imagination Episodes with voluntary input.

[BibT_eX]

[DOI]

Christopher Badura

Rev. Symb. Log., September, 2023

2021

Varieties of entailment: introduction to the special issue.

[BibT_eX]

[DOI]

Marco Ruffino

Synth., 2021

Correction to: The nature of entailment: an informational approach.

[BibT_eX]

[DOI]

Synth., 2021

The nature of entailment: an informational approach.

[BibT_eX]

[DOI]

Synth., 2021

Routley Star and Hyperintensionality.

[BibT_eX]

[DOI]

J. Philos. Log., 2021

2020

Proof Systems for various FDE-based Modal Logics.

[BibT_eX]

[DOI]

Sergey Drobyshevich

Rev. Symb. Log., 2020

An Extension of Connexive Logic C.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.

[BibT_eX]

[DOI]

Grigory K. Olkhovikov

Stud Logica, 2019

Simplified Tableaux for STIT Imagination Logic.

[BibT_eX]

[DOI]

Grigory K. Olkhovikov

J. Philos. Log., 2019

2018

On contra-Classical Variants of Nelson Logic N4 and its Classical Extension.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2018

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.

[BibT_eX]

[DOI]

Grigory K. Olkhovikov

J. Philos. Log., 2018

2017

Remarks on the logic of imagination. A step towards understanding doxastic control through imagination.

[BibT_eX]

[DOI]

Synth., 2017

Introduction to the special issue "Doxastic Agency and Epistemic Responsibility".

[BibT_eX]

[DOI]

Andrea Kruse

Synth., 2017

40 years of FDE: An Introductory Overview.

[BibT_eX]

[DOI]

Stud Logica, 2017

Disentangling FDE-Based Paraconsistent Modal Logics.

[BibT_eX]

[DOI]

Stud Logica, 2017

Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.

[BibT_eX]

[DOI]

Stud Logica, 2017

Reprint of: A more general general proof theory.

[BibT_eX]

[DOI]

J. Appl. Log., 2017

A more general general proof theory.

[BibT_eX]

[DOI]

J. Appl. Log., 2017

2016

Falsification, natural deduction and bi-intuitionistic logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Editorial Preface.

[BibT_eX]

[DOI]

Thomas Macaulay Ferguson

FLAP, 2016

Natural Deduction for Bi-Connexive Logic and a Two-Sorted Typed -Calculus.

[BibT_eX]

[DOI]

FLAP, 2016

Completeness of Connexive Heyting-Brouwer Logic.

[BibT_eX]

[DOI]

FLAP, 2016

2015

The Logic of Generalized Truth Values and the Logic of Bilattices.

[BibT_eX]

[DOI]

Stud Logica, 2015

External Curries.

[BibT_eX]

[DOI]

Graham Priest

J. Philos. Log., 2015

2014

Hypersequent and Display Calculi - a Unified Perspective.

[BibT_eX]

[DOI]

Agata Ciabattoni

Revantha Ramanayake

Stud Logica, 2014

2013

Preface.

[BibT_eX]

[DOI]

Roberto Ciuni

Caroline Willkommen

Stud Logica, 2013

2012

Proof theory of Nelson's paraconsistent logic: A uniform perspective.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

2011

Reasoning About Belief Revision.

[BibT_eX]

[DOI]

Caroline Semmling

Proceedings of the Belief Revision meets Philosophy of Science, 2011

Synchronized Linear-Time Temporal Logic.

[BibT_eX]

[DOI]

Stud Logica, 2011

A Paraconsistent Linear-time Temporal Logic.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Completeness and cut-elimination theorems for trilattice logics.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2011

2010

Intuitionistic Trilattice Logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

The Power of Belnap: Sequent Systems for SIXTEEN3.

[BibT_eX]

[DOI]

J. Philos. Log., 2010

Editorial Introduction.

[BibT_eX]

[DOI]

Philip Kremer

J. Philos. Log., 2010

Combining linear-time temporal logic with constructiveness and paraconsistency.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

Modal logics with Belnapian truth values.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2010

Generalized truth values.: A reply to Dubois.

[BibT_eX]

[DOI]

Nuel Belnap

Log. J. IGPL, 2010

Proofs, Disproofs, and Their Duals.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

2009

Editorial Introduction. Truth Values: Part II.

[BibT_eX]

[DOI]

Stud Logica, 2009

The Slingshot Argument and Sentential Identity.

[BibT_eX]

[DOI]

Stud Logica, 2009

Editorial Introduction. Truth Values: Part I.

[BibT_eX]

[DOI]

Stud Logica, 2009

Sequent Calculi for some Trilattice Logics.

[BibT_eX]

[DOI]

Walter Alexandre Carnielli

Rev. Symb. Log., 2009

Editorial and call for papers: The Non-classical Logics Corner of the Journal of Logic and Computation.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

From Logic to Mathematical Philosophy.

[BibT_eX]

[DOI]

David Makinson

Jacek Malinowski

Proceedings of the Towards Mathematical Philosophy, 2009

2008

Erratum to Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica , 88: 405-429, 2008.

[BibT_eX]

[DOI]

Stud Logica, 2008

Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System.

[BibT_eX]

[DOI]

Stud Logica, 2008

Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACLC.

[BibT_eX]

[DOI]

J. Appl. Log., 2008

Constructive negation, implication, and co-implication.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2008

2007

Introduction and Call for Papers.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

A Note on Negation in Categorial Grammar.

[BibT_eX]

[DOI]

Log. J. IGPL, 2007

2006

Logical Connectives for Constructive Modal Logic.

[BibT_eX]

[DOI]

Synth., 2006

Connectives Stranger than Tonk.

[BibT_eX]

[DOI]

J. Philos. Log., 2006

Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2006

Tableaux for multi-agent deliberative-stit logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 6, 2006

2005

From the Editors.

[BibT_eX]

[DOI]

Stud Logica, 2005

Some Useful 16-Valued Logics: How a Computer Network Should Think.

[BibT_eX]

[DOI]

J. Philos. Log., 2005

2004

Action-Theoreticaspects of Theory Choice.

[BibT_eX]

[DOI]

Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

Agency and Deontic Logic, J.F. Horty.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2004

Connexive Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 5, 2004

2003

Editorial.

[BibT_eX]

[DOI]

J. Log. Comput., 2003

2002

A Rule-Extension of the Non-Associative Lambek Calculus.

[BibT_eX]

[DOI]

Stud Logica, 2002

Diamonds are a Philosopher's Best Friends.

[BibT_eX]

[DOI]

J. Philos. Log., 2002

Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema.

[BibT_eX]

[DOI]

Log. J. IGPL, 2002

2001

Editorial.

[BibT_eX]

[DOI]

Roy Dyckhoff

Stud Logica, 2001

Corner on directions in nonclassical logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2001

Editorial and Call for Papers.

[BibT_eX]

[DOI]

J. Log. Comput., 2001

2000

The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.

[BibT_eX]

[DOI]

Stud Logica, 2000

Introduction.

[BibT_eX]

[DOI]

François Lepage

Elias Thijsse

Stud Logica, 2000

1999

Predicate Logics on Display.

[BibT_eX]

[DOI]

Stud Logica, 1999

Displaying The Modal Logic of Consistency.

[BibT_eX]

[DOI]

J. Symb. Log., 1999

1998

Translation of Hypersequents into Display Sequents.

[BibT_eX]

[DOI]

Log. J. IGPL, 1998

The Origins of Modern Modal Logic.

[BibT_eX]

Michael Zakharyaschev

Krister Segerberg

Maarten de Rijke

Proceedings of the Advances in Modal Logic 2, 1998

1997

Modal Tableaux Based on Residuation.

[BibT_eX]

[DOI]

J. Log. Comput., 1997

1996

A Fugue on the Themes of Awareness Logic and Correspondence.

[BibT_eX]

[DOI]

Elias Thijsse

J. Appl. Non Class. Logics, 1996

Reviews.

[BibT_eX]

[DOI]

Log. J. IGPL, 1996

What is Negation in a System? Negation in Structured Consequence Relations.

[BibT_eX]

Dov M. Gabbay

Proceedings of the Logic, Action, and Information, 1996

1995

Strong Cut-elimination in Display Logic.

[BibT_eX]

[DOI]

Reports Math. Log., 1995

Semantics-based Nonmonotonic Inference.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1995

Tarskian Structured Consequence Relations and Functional Completeness.

[BibT_eX]

[DOI]

Math. Log. Q., 1995

Strong Cut-Elimination for Constant Domain First-Order S5.

[BibT_eX]

[DOI]

Log. J. IGPL, 1995

1994

Sequent Calculi for Normal Modal Proposisional Logics.

[BibT_eX]

[DOI]

J. Log. Comput., 1994

Tagungsbericht: Workshop "Proof Theory of Modal Logic".

[BibT_eX]

Künstliche Intell., 1994

1993

Functional completeness for subsystems of intuitionistic propositional logic.

[BibT_eX]

[DOI]

J. Philos. Log., 1993

Informational interpretation of substructural propositional logics.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1993

The Logic of Information Structures

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 681, Springer, ISBN: 3-540-56734-8, 1993

1991

Addenda and corrigenda to "A general possible worlds framework for reasoning about knowledge and belief".

[BibT_eX]

[DOI]

Stud Logica, 1991

1990

A general possible worlds framework for reasoning about knowledge and belief.

[BibT_eX]

[DOI]

Stud Logica, 1990

Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Nonclassical Logics and Information Processing, 1990

1989

Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten.

[BibT_eX]

[DOI]

Math. Log. Q., 1989

1988

On the methodology of possible worlds semantics. I. Correspondence theory.

[BibT_eX]

[DOI]

David Pearce