The importance of the past in interval temporal logics: The case of propositional neighborhood logic

被引：4

作者：

机构：

[1] Della Monica, Dario

[2] Montanari, Angelo

[3] Sala, Pietro

来源：

Della Monica, D. (ddellamonica@unisa.it) | 1600年 / Springer Verlag卷 / 7360 LNCS期

关键词：

31;

D O I：

10.1007/978-3-642-29414-3_6

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[21] A PROPOSITIONAL LOGIC OF TEMPORAL CONNECTIVES
Epstein, Richard L.
Buitrago-Diaz, Esperanza
LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (02) : 155 - 200
[22] Implementation of propositional temporal logics using BDDs
Janssen, GLJM
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 40 - 41
[23] ON UNDECIDABILITY OF PROPOSITIONAL TEMPORAL LOGICS ON TRACE SYSTEMS
PENCZEK, W
INFORMATION PROCESSING LETTERS, 1992, 43 (03) : 147 - 153
[24] GENTZEN-SYSTEMS FOR PROPOSITIONAL TEMPORAL LOGICS
PAECH, B
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 240 - 253
[25] Metric propositional neighborhood logic with an equivalence relation
Montanari, Angelo
Pazzaglia, Marco
Sala, Pietro
ACTA INFORMATICA, 2016, 53 (6-8) : 621 - 648
[26] On combinations of propositional dynamic logic and doxastic modal logics
Schmidt R.A.
Tishkovsky D.
Journal of Logic, Language and Information, 2008, 17 (1) : 109 - 129
[27] A Propositional Dynamic Logic for Instantial Neighborhood Semantics
van Benthem, Johan
Bezhanishvili, Nick
Enqvist, Sebastian
STUDIA LOGICA, 2019, 107 (04) : 719 - 751
[28] A Propositional Dynamic Logic for Instantial Neighborhood Models
van Benthem, Johan
Bezhanishvili, Nick
Enqvist, Sebastian
LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 137 - 150
[29] INTERPRETING LOGICS OF KNOWLEDGE IN PROPOSITIONAL DYNAMIC LOGIC WITH CONVERSE
FISCHER, MJ
IMMERMAN, N
INFORMATION PROCESSING LETTERS, 1987, 25 (03) : 175 - 181
[30] Metric Propositional Neighborhood Logic with an Equivalence Relation
Montanari, Angelo
Pazzaglia, Marco
Sala, Pietro
2014 21ST INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME 2014), 2014, : 49 - +

← 1 2 3 4 5 →