Aristotelian Relations in PDL: The Hypercube of Dynamic Oppositions

Special Issue 5th World Congress on the Square of Opposition Easter Island, November 11-15, 2016 (2017)
  Copy   BIBTEX

Abstract

The aim of this paper is to study aristotelian relation in an extension of Propositional Dynamic Logic, the logic PDLQ+(¬). The main result of our study is the production of a geometrical opposition structure called hypercube of Dynamic Opposition, this structure is very useful to study negation of atomic programs and dynamic modalities.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

PDL with negation of atomic programs.Carsten Lutz & Dirk Walther - 2005 - Journal of Applied Non-Classical Logics 15 (2):189-213.
General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. London, England: College Publications. pp. 239-260.
Reducing dynamic epistemic logic to pdl by program transformation.Jan van Eijck - unknown
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Not Only Barbara.Paul J. E. Dekker - 2015 - Journal of Logic, Language and Information 24 (2):95-129.
On the 3d visualisation of logical relations.Hans Smessaert - 2009 - Logica Universalis 3 (2):303-332.
Aristotelian and Duality Relations Beyond the Square of Opposition.Lorenz6 Demey & Hans5 Smessaert - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer.
The Classical Aristotelian Hexagon Versus the Modern Duality Hexagon.Hans Smessaert - 2012 - Logica Universalis 6 (1-2):171-199.
PDL with intersection of programs: a complete axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3):231-276.
Action frames for weak relevant logics.Igor Sedlár - 2015 - In Pavel Arazim & Michal Dancak (eds.), The Logica Yearbook 2014. College Publications. pp. 267-279.

Analytics

Added to PP
2020-01-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

José David García Cruz
Pontifical Catholic University of Chile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references