Dick de Jongh

Log. J. IGPL, 2024

2021

NNIL-formulas revisited: Universal models and finite model property.

[BibT_eX]

[DOI]

Julia Ilin

Fan Yang

J. Log. Comput., 2021

2020

IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019.

[BibT_eX]

[DOI]

Joan Rand Moschovakis

Bull. Symb. Log., 2020

2018

Stable Formulas in Intuitionistic Logic.

[BibT_eX]

[DOI]

Nick Bezhanishvili

Notre Dame J. Formal Log., 2018

2017

Subminimal negation.

[BibT_eX]

[DOI]

Almudena Colacito

Ana Lucia Vargas

Soft Comput., 2017

Weak subintuitionistic logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 2017

Finite Identification with Positive and with Complete Data.

[BibT_eX]

[DOI]

Ana Lucia Vargas Sandoval

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

Two Neighborhood Semantics for Subintuitionistic Logics.

[BibT_eX]

[DOI]

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

A Study of Subminimal Logics of Negation and Their Modal Companions.

[BibT_eX]

[DOI]

Nick Bezhanishvili

Almudena Colacito

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

2015

Subintuitionistic Logics with Kripke Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2015

Universal Models for the Positive Fragment of Intuitionistic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2015

2014

Logic and Learning.

[BibT_eX]

[DOI]

Nina Gierasimczuk

Vincent F. Hendricks

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Comparing strengths of beliefs explicitly.

[BibT_eX]

[DOI]

Sujata Ghosh

Log. J. IGPL, 2013

On the Complexity of Conclusive Update.

[BibT_eX]

[DOI]

Nina Gierasimczuk

Comput. J., 2013

Positive Formulas in Intuitionistic and Minimal Logic.

[BibT_eX]

[DOI]

Zhiguang Zhao

Proceedings of the Logic, Language, and Computation, 2013

Duality and Universal Models for the Meet-Implication Fragment of IPC.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2013

2012

Extendible Formulas in Two Variables in Intuitionistic Logic.

[BibT_eX]

[DOI]

Nick Bezhanishvili

Gerard R. Renardel de Lavalette

Stud Logica, 2012

Intuitionistic implication without disjunction.

[BibT_eX]

[DOI]

Alex Hendriks

J. Log. Comput., 2012

2011

Intermediate Logics and the de Jongh property.

[BibT_eX]

[DOI]

Rineke Verbrugge

Albert Visser

Arch. Math. Log., 2011

2009

Unifiability in extensions of K4.

[BibT_eX]

[DOI]

Çigdem Gencer

Log. J. IGPL, 2009

Interpretability in PRA.

[BibT_eX]

[DOI]

Marta Bílková

Joost J. Joosten

Ann. Pure Appl. Log., 2009

Jankov's Theorems for Intermediate Logics in the Setting of Universal Models.

[BibT_eX]

[DOI]

Fan Yang

Proceedings of the Logic, Language, and Computation, 2009

2007

The Structure of Rigid Frames of Depth 3 Only.

[BibT_eX]

[DOI]

Tahsin Oner

Proceedings of the Logic, 2007

2005

Properties of Intuitionistic Provability and Preservativity Logics.

[BibT_eX]

[DOI]

Rosalie Iemhoff

Chunlai Zhou

Log. J. IGPL, 2005

2003

Characterization of strongly equivalent logic programs in intermediate logics.

[BibT_eX]

[DOI]

Lex Hendriks

Theory Pract. Log. Program., 2003

1998

Interpolation, Definability and Fixed Points in Interpretability Logics.

[BibT_eX]

Carlos Areces

Eva Hoogland

Proceedings of the Advances in Modal Logic 2, 1998

1997

Formal Learning Theory.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Logic and Language., 1997

1996

Angluin's Theorem for Indexed Families of r.e. Sets and Applications.

[BibT_eX]

[DOI]

Makoto Kanazawa

Proceedings of the Ninth Annual Conference on Computational Learning Theory, 1996

1995

The Decidability of Dependency in Intuitionistic Propositional Logic.

[BibT_eX]

[DOI]

L. A. Chagrova

J. Symb. Log., 1995

1991

Explicit Fixed Points in Interpretability Logic.

[BibT_eX]

[DOI]

Albert Visser

Stud Logica, 1991

Rosser orderings and free variables.

[BibT_eX]

[DOI]

Stud Logica, 1991

On the proof of Solovay's theorem.

[BibT_eX]

[DOI]

Marc Jumelet

Stud Logica, 1991

Computations in Fragments of Intuitionistic Propositional Logic.

[BibT_eX]

[DOI]

Gerard R. Renardel de Lavalette

Lex Hendriks

J. Autom. Reason., 1991

1989

Much Shorter Proofs.

[BibT_eX]

[DOI]

Math. Log. Q., 1989

1988

Provable Fixed Points.

[BibT_eX]

[DOI]

Math. Log. Q., 1988

1974

A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.

[BibT_eX]

[DOI]

Dov M. Gabbay