Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783319978789, 9783319978796

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations

Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science ◽

10.1007/978-3-319-97879-6_7 ◽

2018 ◽

pp. 169-202

Author(s):

Domenico Cantone ◽

Marianna Nicolosi-Asmundo

Keyword(s):

Decision Procedures ◽

Binary Relations

Download Full-text

About the Complete Axiomatization of Dynamic Extensions of Arrow Logic

Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science ◽

10.1007/978-3-319-97879-6_12 ◽

2018 ◽

pp. 315-330

Author(s):

Philippe Balbiani

Keyword(s):

Complete Axiomatization ◽

Download Full-text

Machine-Checked Meta-theory of Dual-Tableaux for Intuitionistic Logic

Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science ◽

10.1007/978-3-319-97879-6_10 ◽

2018 ◽

pp. 253-282

Author(s):

Jeremy E. Dawson ◽

Rajeev Goré

Keyword(s):

Intuitionistic Logic ◽

Download Full-text

Modal Syllogistic

Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science ◽

10.1007/978-3-319-97879-6_11 ◽

2018 ◽

pp. 283-312

Author(s):

Tsvetan Vasilev ◽

Dimiter Vakarelov

Keyword(s):

Modal Syllogistic

Download Full-text

Reasoning on Relations, Modalities, and Sets

Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science ◽

10.1007/978-3-319-97879-6_6 ◽

2018 ◽

pp. 129-168

Author(s):

Andrea Formisano ◽

Eugenio G. Omodeo ◽

Alberto Policriti

Download Full-text

Logics for Order-of-Magnitude Qualitative Reasoning: Formalizing Negligibility

Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science ◽

10.1007/978-3-319-97879-6_8 ◽

2018 ◽

pp. 203-231

Author(s):

Alfredo Burrieza ◽

Emilio Muñoz-Velasco ◽

Manuel Ojeda-Aciego

Keyword(s):

Qualitative Reasoning ◽

Order Of Magnitude

Download Full-text

Adaptive Rough Sets and Vague Concepts

Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science ◽

10.1007/978-3-319-97879-6_13 ◽

2018 ◽

pp. 331-353

Author(s):

Andrzej Skowron ◽

Soma Dutta

Keyword(s):

Download Full-text

A Reasoning System for Satisfiability of Diagrammatic Specifications

Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science ◽

10.1007/978-3-319-97879-6_15 ◽

2018 ◽

pp. 371-402

Author(s):

Yngve Lamo ◽

Wendy MacCaull

Keyword(s):

Reasoning System

Download Full-text

Everything is a Relation: A Preview

Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science ◽

10.1007/978-3-319-97879-6_1 ◽

2018 ◽

pp. 3-24

Author(s):

Joanna Golińska-Pilarek ◽

Michał Zawidzki

Download Full-text

Reasoning About Reversal-Bounded Counter Machines

Outstanding Contributions to Logic - Ewa Orłowska on Relational Methods in Logic and Computer Science ◽

10.1007/978-3-319-97879-6_17 ◽

2018 ◽

pp. 441-479

Author(s):

Stéphane Demri

Keyword(s):

Counter Machines

Download Full-text