Propositional Dynamic Logics of Programs: A Survey

Propositional Dynamic Logics of Programs: A Survey

Bibliographic Details
Main Author:	Parikh, Rohit
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149002

Similar Items

A Completeness Result for a Propositional Dynamic Logic
by: Parikh, Rohit
Published: (2023)

The Propositional Dynamic Logic of Deterministic, Well-Structured Programs
by: Halpern, Joseph Y., et al.
Published: (2023)

Propositional inquisitive logic: a survey
by: Ivano Ciardelli
Published: (2016-12-01)

Propositional Dynamic Logic of Looping and Converse
by: Streett, Robert S.
Published: (2023)

The Deducibility Problem in Propositional Dynamic Logic
by: Meyer, Albert R., et al.
Published: (2023)

The Logic of 'If-Then' Propositions
by: John Hoaglund
Published: (1986-01-01)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
by: Hajime Ishihara
Published: (2014-08-01)

Propositional Dynamic Logic for Message-Passing Systems
by: Benedikt Bollig, et al.
Published: (2010-09-01)

Smart Sensorization Using Propositional Dynamic Logic
by: Salvador Merino, et al.
Published: (2022-05-01)

On the Computational Cost of Disjunctive Logic Programming: Propositional Case
by: Eiter, T, et al.
Published: (1995)

The Logic of Khārijī Propositions
by: Asadollah Fallahi
Published: (2023-08-01)

Proposition and Contradiction: The Definition of Proposition in Aristotle's Logical Works
by: Seyyed Ammar Kalantar, et al.
Published: (2016-12-01)

Definability in Dynamic Logic
by: Meyer, Albert R., et al.
Published: (2023)

On the Predictability of Classical Propositional Logic
by: Poliana M. Reis, et al.
Published: (2013-01-01)

The Extension of Hypothesis in Propositional Logic
by: Guo Qian, et al.
Published: (2016-01-01)

Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness
by: Ben-Ari, Mordechai, et al.
Published: (2023)

Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
by: Roy Mennicke
Published: (2013-06-01)

Propositional Calculus & Systems of Formal Logic
by: Rosales, Tamika
Published: (2012)

Sequent calculus for propositional likelihood logic
by: Romas Alonderis
Published: (2023-09-01)

On Sub-Propositional Fragments of Modal Logic
by: Davide Bresolin, et al.
Published: (2018-06-01)

Calculus of propositions in Bertrand rassell's logic
by: نبال ناصيف
Published: (2017-01-01)

Calculus of propositions in Bertrand rassell's logic
by: Nebal Naseef
Published: (2017-01-01)

Schema Complexity in Propositional-Based Logics
by: Jaime Ramos, et al.
Published: (2021-10-01)

Fullness and Decidability in Continuous Propositional Logic
by: Xuanzhi Ren
Published: (2022-11-01)

Notes on Nonmonotonic Autoepistemic Propositional Logic
by: Marek A. Suchenek
Published: (2011-12-01)

Complexity of validity for propositional dependence logics
by: Jonni Virtema
Published: (2014-08-01)

Brodsky’s coding method for propositional logic
by: Romas Alonderis
Published: (2017-12-01)

Validity and Entailment in Modal and Propositional Dependence Logics
by: Miika Hannula
Published: (2019-04-01)

Interpolation Property on Visser's Formal Propositional Logic
by: Majid Alizadeh, et al.
Published: (2022-09-01)

On Quantified Propositional Logics and the Exponential Time Hierarchy
by: Miika Hannula, et al.
Published: (2016-09-01)

Quine on Logic, Propositional Attitudes, and the Unity of Knowledge
by: André Leclerc
Published: (2003-12-01)

Propositional Logics Complexity and the Sub-Formula Property
by: Edward Hermann Haeusler
Published: (2015-04-01)

Method of marks for propositional linear temporal logic
by: Regimantas Pliuškevičius
Published: (2014-12-01)

The Propositional Logic of Frege’s Grundgesetze: Semantics and Expressiveness
by: Eric D. Berg, et al.
Published: (2017-06-01)

Deduction in Non-Fregean Propositional Logic SCI
by: Joanna Golińska-Pilarek, et al.
Published: (2019-10-01)

Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages
by: Markus Latte
Published: (2011-06-01)

Epstein's The Semantic Foundations of Logic vol. I, Propositional Logics vol. II, Predicate Logic
by: Douglas Walton
Published: (1999-01-01)

Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
by: Romas Alonderis
Published: (2008-12-01)

Using Propositional Logic for Requirements Verification of Service Workflow
by: Xu, L, et al.
Published: (2012)

Reasoning under minimal upper bounds in propositional logic
by: Eiter, T, et al.
Published: (2006)