A proof theory for model checking (Q2331070): Difference between revisions

@@ Property / describes a project that uses @@
+Bedwyr
@@ Property / describes a project that uses: Bedwyr / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2809678222
@@ Property / OpenAlex ID: W2809678222 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Least and Greatest Fixed Points in Linear Logic
@@ Property / cites work: Least and Greatest Fixed Points in Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic framework for proof evidence
@@ Property / cites work: A semantic framework for proof evidence / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Proof and refutation in MALL as a game
@@ Property / cites work: Proof and refutation in MALL as a game / rank @@
+Normal rank
@@ Property / cites work @@
+The Beginning of Model Checking: A Personal Perspective
+Normal rank
@@ Property / cites work @@
+A two-level logic approach to reasoning about computations
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824307
@@ Property / cites work: Q3824307 / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, Horn programs, linear logic and vector games
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+Cut-elimination for a logic with definitions and induction
+Normal rank
@@ Property / cites work @@
+Reasoning with higher-order abstract syntax in a logical framework
+Normal rank
@@ Property / cites work @@
+Encoding transition systems in sequent calculus
@@ Property / cites work: Encoding transition systems in sequent calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Foundational Proof Certificates in First-Order Logic
+Normal rank
@@ Property / cites work @@
+Incorporating Tables into Proofs
@@ Property / cites work: Incorporating Tables into Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852368
@@ Property / cites work: Q2852368 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof theory for generic judgments
@@ Property / cites work: A proof theory for generic judgments / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting Proofs from Tabled Proof Search
@@ Property / cites work: Extracting Proofs from Tabled Proof Search / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809159
@@ Property / cites work: Q4809159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848670
@@ Property / cites work: Q2848670 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof search specifications of bisimulation and modal logics for the π-calculus
+Normal rank
@@ Property / cites work @@
+Cut elimination for a logic with induction and co-induction
+Normal rank