UB Paderborn / Katalog / Suche / in CDI

Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

1, 2023

Volltextzugriff (PDF)

An Algebraic Approach for Action Based Default Reasoning

Electronic proceedings in theoretical computer science, 2019-07, Vol.297 (Proc. TARK 2019), p.91-105

2019

Volltextzugriff (PDF)

Hybrid logics: characterization, interpolation and complexity

The Journal of symbolic logic, 2001-09, Vol.66 (3), p.977-1010

2001

Volltextzugriff (PDF)

Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

2023

Volltextzugriff (PDF)

Relating Kleene Algebras with Pseudo Uninorms

Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.37-55

2023

Volltextzugriff (PDF)

A Stit Logic of Intentionality

Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.125-153

2023

Volltextzugriff (PDF)

Parametrized Modal Logic II: The Unidimensional Case

Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.17-36

2023

Volltextzugriff (PDF)

Quantum Logic for Observation of Physical Quantities

Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.90-105

2023

Volltextzugriff (PDF)

Action Models for Coalition Logic

Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.73-89

2023

Volltextzugriff (PDF)

First Steps in Updating Knowing How

Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.1-16

2023

Volltextzugriff (PDF)

Cautious Distributed Belief

Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.106-124

2023

Volltextzugriff (PDF)

Dynamic Epistemic Logic for Budget-Constrained Agents

Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.56-72

2023

Volltextzugriff (PDF)

SYMMETRIES IN MODAL LOGICS

The bulletin of symbolic logic, 2015-12, Vol.21 (4), p.373-401

2015

Volltextzugriff (PDF)

Repairing the interpolation theorem in quantified modal logic

Annals of pure and applied logic, 2003-12, Vol.124 (1), p.287-299

2003

Volltextzugriff (PDF)

The complexity of definability by open first-order formulas

Logic journal of the IGPL, 2020-12, Vol.28 (6), p.1093-1105

2020

Volltextzugriff (PDF)

Copy and remove as dynamic operators

Journal of applied non-classical logics, 2021-10, Vol.31 (3-4), p.181-220

2021

Volltextzugriff (PDF)

Hybrid Type Theory: A Quartet in Four Movements

Principia (Florianópolis, Brazil), 2011-08, Vol.15 (2), p.225-247

2011

Volltextzugriff (PDF)

Swap logic

Logic journal of the IGPL, 2014-04, Vol.22 (2), p.309-332

2014

Volltextzugriff (PDF)

Modal Satisfiability via SMT Solving

Software, Services, and Systems, p.30-45

Volltextzugriff (PDF)

Relation-changing modal operators: Fig. 1

Logic journal of the IGPL, 2015-08, Vol.23 (4), p.601-627

2015

Volltextzugriff (PDF)

Completeness in Hybrid Type Theory

Journal of philosophical logic, 2014-06, Vol.43 (2/3), p.209-238

2014

Volltextzugriff (PDF)

Elija su propia Lógica

Azafea : estudios de historia de la filosofía hispánica, 2009-09, Vol.8

Carlos ARECES

2009

Volltextzugriff (PDF)

Default Modal Systems as Algebraic Updates

Dynamic Logic. New Trends and Applications, 2020, Vol.12569, p.103-119

2020

Volltextzugriff (PDF)

Completeness results for memory logics

Annals of pure and applied logic, 2012-07, Vol.163 (7), p.961-972

2012

Volltextzugriff (PDF)

Methods for modalities 3

Journal of applied logic, 2006-09, Vol.4 (3), p.215-217

Areces, Carlos

2006

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

An Algebraic Approach for Action Based Default Reasoning

Hybrid logics: characterization, interpolation and complexity

Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

Relating Kleene Algebras with Pseudo Uninorms

A Stit Logic of Intentionality

Parametrized Modal Logic II: The Unidimensional Case

Quantum Logic for Observation of Physical Quantities

Action Models for Coalition Logic

First Steps in Updating Knowing How

Cautious Distributed Belief

Dynamic Epistemic Logic for Budget-Constrained Agents

SYMMETRIES IN MODAL LOGICS

Repairing the interpolation theorem in quantified modal logic

The complexity of definability by open first-order formulas

Copy and remove as dynamic operators

Hybrid Type Theory: A Quartet in Four Movements

Swap logic

Modal Satisfiability via SMT Solving

Relation-changing modal operators: Fig. 1

Completeness in Hybrid Type Theory

Elija su propia Lógica

Default Modal Systems as Algebraic Updates

Completeness results for memory logics

Methods for modalities 3

Aktive Filter

Suchergebnisse filtern