On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 1st Edition by Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco ISBN 9783540727347
Original price was: $50.00.$35.00Current price is: $35.00.
Authors:Davide Bresolin, Valentin Goranko, Angelo Montanari; Guido Sciavicco , Tags:Logical Foundations of Computer Science , Author sort:Davide Bresolin, Valentin Goranko, Angelo Montanari & Sciavicco, Guido , Languages:Languages:eng , Comments:Comments:Logical Foundations of Computer Science
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 1st Edition by Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco – Ebook PDF Instant Download/Delivery. 9783540727347
Full download On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 1st Edition after payment
Product details:
ISBN 10:
ISBN 13: 9783540727347
Author: Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues for Propositional Neighborhood Logics (PNLs). We begin by comparing the expressiveness of the different PNLs. Then, we focus on the most expressive one, namely, PNLπ + , and we show that it is decidable over various classes of linear orders by reducing its satisfiability problem to that of the two-variable fragment of first-order logic with binary relations over linearly ordered domains, due to Otto. Next, we prove that PNLπ + is expressively complete with respect to such a fragment. We conclude the paper by comparing PNLπ + expressiveness with that of other interval-based temporal logics.
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 1st Table of contents:
- Propositional Interval Neighborhood Logics: Overview
- Decidability of Propositional Interval Neighborhood Logics
- Expressiveness of Interval Neighborhood Logics
- Complexity Results
- Comparing with Other Modal Logics
- Applications and Use Cases
- Challenges and Open Problems
- Future Research Directions
People also search for On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 1st:
on decidability and expressiveness of propositional
propositional versus depictive representations
on the expressivity of markov reward
explanatory device
a priori deduction
You may also like…
