A Note on Non-Alethic Temporal Logics

Authors:
Jair Minoro Abe;Kazumi Nakamatsu
Affiliations:
Institute For Advanced Studies --University of São Paulo and Information Technology Dept., ICET --Paulista University, jairabe@uol.com.br;School of H.S.E. --University of Hyogo, nakamatu@shse.u-hyogo.ac.jp
Venue:
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Year:
2005

Citing 2
Cited 0

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
On the temporal analysis of fairness

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we discuss time in paraconsistency and paracompleteness. We introduce briefly the temporal logical system Δ1 which may constitute, for instance, a framework for non-alethic temporal reasoning.