Concepedia
Statistics
Publications
31
Citations
809
H-Index
17
Active since
1985
Affiliations
Linköping University(Current)
University of Warsaw
University of Computer Sciences and Economics in Olsztyn
Max Planck Institute for Informatics
University of Warmia and Mazury in Olsztyn
Andrzej Szałas is an author at Linköping University specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsAutomated ReasoningComputer ScienceSemanticsLanguageFormal VerificationLinguisticsData ScienceSemantic Web
Publications per year
1985–2014
Computing Circumscription Revisited: A Reduction Algorithm
Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas · Journal of Automated Reasoning · 1997 · 134 citations
On the Correspondence Between Modal and Classical Logic: an Automated Approach
Andrzej Szałas · Journal of Logic and Computation · 1993 · 61 citations
Engineering, Classical Logic, Semantics +18
A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
Andreas Nonnengart, Andrzej Szałas · 1999 · 53 citations · Full text
Concerning the semantic consequence relation in first-order temporal logic
Andrzej Szałas · Theoretical Computer Science · 1986 · 52 citations
Syntax, Automated Reasoning, Classical Logic +6
Incompleteness of first-order temporal logic with until
Andrzej Szałas, Leszek Holenderski · Theoretical Computer Science · 1988 · 49 citations
Non-classical Logic, Engineering, Automated Reasoning +4
1–5 of 31