Clausal resolution for branching-time temporal logic

@inproceedings{Bolotov2000ClausalRF,
  title={Clausal resolution for branching-time temporal logic},
  author={Alexander Bolotov},
  year={2000}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 18 CITATIONS

Special issue on practical aspects of automated reasoning

VIEW 16 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A resolution calculus for the branching-time temporal logic CTL

  • ACM Trans. Comput. Log.
  • 2014
VIEW 12 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Clausal reasoning for branching-time logics

VIEW 12 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment

  • 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement
  • 2009
VIEW 16 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

A clausal resolution for extended computation tree logic ECTL

VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A clausal resolution method for extended computation tree logic ECTL

  • 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings.
  • 2003
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Resolution for branching time temporal logics: applying the temporal resolution rule

  • Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000
  • 2000
VIEW 8 EXCERPTS
HIGHLY INFLUENCED

Resolution in a logic of rational agency

VIEW 11 EXCERPTS
CITES RESULTS & METHODS
HIGHLY INFLUENCED

Resolution for a Temporal Logic of Robustness ( Extended Version )

Clare Dixon, M JohnC., Cabe-Dansted
  • 2008
VIEW 5 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

A Clausal Resolution Method for Branching-Time Logic ECTL+

VIEW 10 EXCERPTS
CITES METHODS, RESULTS & BACKGROUND
HIGHLY INFLUENCED

Similar Papers

Loading similar papers…