Relational logics and their applications

Authors:
Joanna Golińska-Pilarek;Ewa Orłowska
Affiliations:
National Institute of Telecommunications, Warsaw, Poland;National Institute of Telecommunications, Warsaw, Poland
Venue:
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Year:
2006

Citing 3
Cited 2

Temporal logics in a relational framework

Time and logic
Logical analysis of demonic nondeterministic programs

Theoretical Computer Science
Relational formalisation of nonclassical logics

Relational methods in computer science

An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance

PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Relational attribute systems II: reasoning with relations in information structures

Transactions on rough sets VII

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logics of binary relations corresponding, among others, to the class RRA of representable relation algebras and the class FRA of full relation algebras are presented together with the proof systems in the style of dual tableaux. Next, the logics are extended with relational constants interpreted as point relations. Applications of these logics to reasoning in non-classical logics are recalled. An example is given of a dual tableau proof of an equation which is RRA-valid, while not RA-valid.