Sequent calculi for propositional star-free likelihood logic (Q2571505): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10986-005-0001-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2017140948
@@ Property / OpenAlex ID: W2017140948 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretical investigation of temporal logic with time gaps
+Normal rank
@@ Property / cites work @@
+A logic to reason about likelihood
@@ Property / cites work: A logic to reason about likelihood / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2571505