Logo del repository
  1. Home
 
Opzioni

On Propositional Interval Neighborhood Temporal Logics

GORANKO
•
MONTANARI, Angelo
•
SCIAVICCO, Guido
2003
  • journal article

Periodico
JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Abstract
Logics for time intervals provide a natural framework for dealing with time in various areas of computer science and artificial intelligence, such as planning, natural language processing, temporal databases, and formal specification. In this paper we focus our attention on propositional interval temporal logics with temporal modalities for neighboring intervals over linear orders. We study the class of propositional neigh-borhood logics (PNL) over two natural semantics, respectively admitting and excluding point-intervals. First, we introduce interval neighborhood frames and we provide representation theorems for them, then, we develop complete axiomatic systems and semantic tableaux for logics in PNL.
DOI
10.3217/jucs-009-09-1137
Archivio
http://hdl.handle.net/11390/674721
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-23844442126
Diritti
open access
Soggetti
  • propositional neighbo...

  • representation theore...

  • axiomatic system

  • tableau systems

Scopus© citazioni
63
Data di acquisizione
Jun 2, 2022
Vedi dettagli
Visualizzazioni
8
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback