Pages that link to "Item:Q764266"

From MaRDI portal

← Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266)

Jump to:navigation, search

The following pages link to Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266):

Displaying 3 items.

Temporal BI: proof system, semantics and translations (Q391122) (← links)
A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning (Q3457702) (← links)
Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q764266"