BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Bartosz Bednarczyk
SearchCollections
Map detail
Bartosz Bednarczyk8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBartosz BednarczykABartosz BednarczykResearcherTowards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version)WTowards a Model Theory ...preprint / 2022Order-Invariance of Two-Variable Logic is coNExpTime-completeWOrder-Invariance of Two...preprint / 2022Statistical EL is ExpTime-completeWStatistical EL is ExpTi...preprint / 2021"Most of" leads to undecidability: Failure of adding frequencies to LTLW"Most of" leads to unde...preprint / 2021Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material)WModal Logics with Compo...preprint / 2020Extending Two-Variable Logic on TreesWExtending Two-Variable ...preprint / 2016Satisfiability and Query Answering in Description Logics with Global and Local Cardinality ConstraintsWSatisfiability and Quer...preprint / 2020
Person7 links

Bartosz Bednarczyk

Researcher

PaperTowards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version)Authorship / preprint / 2022PaperOrder-Invariance of Two-Variable Logic is coNExpTime-completeAuthorship / preprint / 2022PaperStatistical EL is ExpTime-completeAuthorship / preprint / 2021Paper"Most of" leads to undecidability: Failure of adding frequencies to LTLAuthorship / preprint / 2021PaperModal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material)Authorship / preprint / 2020PaperExtending Two-Variable Logic on TreesAuthorship / preprint / 2016PaperSatisfiability and Query Answering in Description Logics with Global and Local Cardinality ConstraintsAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)