The following pages link to Angelo Montanari (Q266859):
Displaying 50 items.
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) (← links)
- (Q3045512) (← links)
- (Q3113783) (← links)
- Extending Kamp's Theorem to Model Time Granularity (Q3146305) (← links)
- (Q3177929) (← links)
- Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) (← links)
- (Q3384161) (← links)
- (Q3384174) (← links)
- (Q3384889) (← links)
- (Q3384890) (← links)
- Tableaux for Logics of Subinterval Structures over Dense Orderings (Q3406687) (← links)
- (Q3457215) (← links)
- A decidable weakening of Compass Logic based on cone-shaped cardinal directions (Q3460410) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (Q3540187) (← links)
- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals (Q3587451) (← links)
- An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic (Q3590963) (← links)
- Games on Strings with a Limited Order Relation (Q3605528) (← links)
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (Q3644762) (← links)
- On the relationships between theories of time granularity and the monadic second-order theory of one successor (Q3647247) (← links)
- A Tableau-Based System for Spatial Reasoning about Directional Relations (Q3648726) (← links)
- Theories of -layered metric temporal structures: expressiveness and decidability (Q4238501) (← links)
- A general modal framework for the event calculus and its skeptical and credulous variants (Q4245927) (← links)
- Modal deduction in second-order logic and set theory - I (Q4340421) (← links)
- The taming (timing) of the states (Q4511544) (← links)
- (Q4518917) (← links)
- (Q4536392) (← links)
- A set-theoretic translation method for (poly)modal logics (Q4596623) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
- Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison (Q4636573) (← links)
- A One-Pass Tree-Shaped Tableau for LTL+Past (Q4645753) (← links)
- Temporalized logics and automata for time granularity (Q4669652) (← links)
- (Q4708923) (← links)
- (Q4778773) (← links)
- (Q4851606) (← links)
- (Q4904145) (← links)
- Interval Logics and ωB-Regular Languages (Q4910481) (← links)
- (Q4952302) (← links)
- (Q4952306) (← links)
- (Q4964728) (← links)
- (Q4986512) (← links)
- (Q4995362) (← links)
- (Q5015270) (← links)
- (Q5028481) (← links)
- (Q5079781) (← links)
- On a Temporal Logic of Prefixes and Infixes. (Q5089182) (← links)
- Completeness results for two-sorted metric temporal logics (Q5096398) (← links)
- Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption (Q5111452) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187862) (← links)
- An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions (Q5194653) (← links)
