Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Open Access
Axiomatizing Hybrid XPath with Data
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Link zum Volltext

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

Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.16-29
2016
Link zum Volltext

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


Open Access
Symmetric blocking
Theoretical computer science, 2015-11, Vol.606, p.25-41
2015
Link zum Volltext

The Journal of artificial intelligence research, 2015-01, Vol.53, p.271-314
2015
Link zum Volltext

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

A Stit Logic of Intentionality
Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.125-153
2023
Link zum Volltext

Open Access
Symmetries in Modal Logics
Electronic proceedings in theoretical computer science, 2013-03, Vol.113 (Proc. LSFA 2012), p.27-44
2013
Link zum Volltext

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

Action Models for Coalition Logic
Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.73-89
2023
Link zum Volltext

Cautious Distributed Belief
Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.106-124
2023
Link zum Volltext

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

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

First Steps in Updating Knowing How
Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.1-16
2023
Link zum Volltext

Open Access
SYMMETRIES IN MODAL LOGICS
The bulletin of symbolic logic, 2015-12, Vol.21 (4), p.373-401
2015
Link zum Volltext


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

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

Theoretical computer science, 2014-06, Vol.537, p.72-86
2014
Link zum Volltext

Open Access
Copy and remove as dynamic operators
Journal of applied non-classical logics, 2021-10, Vol.31 (3-4), p.181-220
2021
Link zum Volltext

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

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n