Finite sequent calculi for PLTL (Q5040746): Difference between revisions

@@ Property / author @@
-Regimantas Pliuškevičius
@@ Property / author: Regimantas Pliuškevičius / rank @@
-Normal rank
@@ Property / author @@
+Regimantas Pliuškevičius
@@ Property / author: Regimantas Pliuškevičius / rank @@
+Normal rank
@@ 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.15388/lmr.a.2015.01
+Normal rank
@@ Property / OpenAlex ID @@
+W2989706228
@@ Property / OpenAlex ID: W2989706228 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2791889
@@ Property / cites work: Q2791889 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient loop-check for KD45 logic
@@ Property / cites work: Efficient loop-check for KD45 logic / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logics of Knowledge and their Applications in Security
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+Q4260367
@@ Property / cites work: Q4260367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282615
@@ Property / cites work: Q4282615 / rank @@
+Normal rank
@@ Property / cites work @@
+The saturated tableaux for linear miniscope Horn-like temporal logic
+Normal rank
@@ Property / cites work @@
+Finite sequent calculi for PLTL
@@ Property / cites work: Finite sequent calculi for PLTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539601
@@ Property / cites work: Q4539601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3607561
@@ Property / cites work: Q3607561 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5040746