Complexity of the interpretability logics IL W and IL P von Mikec, Luka

Volltext

On Logics and Semantics for Interpretability von Mikec, Luka

Volltext

Existential definability of modal frame classes von Perkov, Tin, Mikec, Luka

Volltext

Correction to: Decidability of interpretability logics IL M 0 and IL W von Mikec, Luka, Perkov, Tin, Vukoviĉ, Mladen

Volltext

TABLEAU-BASED TRANSLATION FROM FIRST-ORDER LOGIC TO MODAL LOGIC von Perkov, Tin, Mikec, Luka

Volltext

Tableau-based translation from first-order logic to modal logic von Perkov, Tin, Mikec, Luka

Volltext

On Logics and Semantics for Interpretability von Mikec, Luka

Volltext bestellen

INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS von Mikec, Luka, Vukovic, Mladen

Volltext

Theory and application of labelling techniques for interpretability logics von Goris, Evan, Bílková, Marta, Joosten, Joost J., Mikec, Luka

Volltext

Decidability of interpretability logics ILM0 and ILW von Mikec, Luka, Perkov, Tin, Vuković, Mladen

Volltext

Complexity of the interpretability logic IL von Mikec, Luka, Pakhomov, Fedor, Vuković, Mladen

Volltext

On Logics and Semantics for Interpretability von Mikec, Luka

Volltext bestellen

Feferman Interpretability von Joosten, Joost J, Mikec, Luka, Visser, Albert

Volltext bestellen

Interpretability logics and generalized Veltman semantics von Mikec, Luka, Vuković, Mladen

Volltext bestellen

Feferman Interpretability von Joosten, Joost J, Mikec, Luka, Visser, Albert

Volltext

An overview of Generalised Veltman Semantics von Joosten, Joost J, Rovira, Jan Mas, Mikec, Luka, Vuković, Mladen

Volltext bestellen

Interpretability logics and generalized Veltman semantics von Mikec, Luka, Vuković, Mladen

Volltext

Assuring and critical labels for relations between maximal consistent sets for interpretability logics von Goris, Evan, Bílková, Marta, Joosten, Joost J, Mikec, Luka

Volltext bestellen

Complexity of the interpretability logic IL von Mikec, Luka, Pakhomov, Fedor, Vuković, Mladen

Volltext bestellen

Assuring and critical labels for relations between maximal consistent sets for interpretability logics von Goris, Evan, Bílková, Marta, Joosten, Joost J, Mikec, Luka

Volltext