Concepedia

Jakub Michaliszyn

JM

9

Publications

262

Citations

9

H-Index

2011

Active since

Affiliations

University of Wrocław(Current)

Imperial College London

Institute of Computer Science

Jakub Michaliszyn is an author at University of Wrocław specializing in automated reasoning, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSatisfiabilityComputational ComplexityVerificationMulti-agent SystemsFormal Specification

Publications per year

2011–2016

9

Publications

9

An epistemic Halpern-Shoham logic

Alessio Lomuscio, Jakub Michaliszyn · 2013 · 50 citations

Two-Variable First-Order Logic with Equivalence Closure

Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt‐Hartmann et al. · SIAM Journal on Computing · 2014 · 47 citations

Engineering, Substructural Logic, Automated Reasoning +12

The Undecidability of the Logic of Subintervals

Jerzy Marcinkowski, Jakub Michaliszyn · Fundamenta Informaticae · 2014 · 43 citations

Non-classical Logic, Engineering, Substructural Logic +10

Two-Variable First-Order Logic with Equivalence Closure

Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt‐Hartmann et al. · 2012 · 36 citations

Engineering, Substructural Logic, Automated Reasoning +12

The Ultimate Undecidability Result for the Halpern-Shoham Logic

Jerzy Marcinkowski, Jakub Michaliszyn · 2011 · 28 citations

Non-classical Logic, Engineering, Substructural Logic +12

Rows per page

1–5 of 9