Reasoning about fair concurrent programs
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
Interleaving set temporal logic
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Reasoning about knowledge and time in asynchronous systems
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Synthesis of concurrent systems with many similar sequential processes (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Applications of a logic of knowledge to motion planning under uncertainty
Journal of the ACM (JACM)
A Formal Verification Environment for Railway Signaling System Design
Formal Methods in System Design - Special issue: industrial critical systems
An automata-theoretic approach to modular model checking
ACM Transactions on Programming Languages and Systems (TOPLAS)
A complete axiomatization of process temporal logic
Fundamenta Informaticae
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
Clausal resolution in a logic of rational agency
Artificial Intelligence
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Model Checking CTL+ and FCTL is Hard
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
CTL+ is Exponentially more Succinct than CTL
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
An n! lower bound on formula size
ACM Transactions on Computational Logic (TOCL)
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Handbook of automated reasoning
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Knowledge as a tool in motion planning under uncertainty
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Model checking for a probabilistic branching time logic with fairness
Distributed Computing
A clausal resolution method for branching-time logic ECTL+
Annals of Mathematics and Artificial Intelligence
BTL2 and the expressive power of ECTL+
Information and Computation
Too Few or Too Many Properties? Measure it by ATPG!
Journal of Electronic Testing: Theory and Applications
A temporal epistemic logic with a reset operation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A purely model-theoretic proof of the exponential succinctness gap between CTL+ and CTL
Information Processing Letters
25 Years of Model Checking
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
Epistemic Logic for Rule-Based Agents
Journal of Logic, Language and Information
From Philosophical to Industrial Logics
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
A Labeled Natural Deduction System for a Fragment of CTL*
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
Electronic Notes in Theoretical Computer Science (ENTCS)
Completeness and Complexity of Multi-modal CTL
Electronic Notes in Theoretical Computer Science (ENTCS)
Tableau-based decision procedures for logics of strategic ability in multiagent systems
ACM Transactions on Computational Logic (TOCL)
A Refined Resolution Calculus for CTL
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
Abstract reasoning for planning and coordination
Journal of Artificial Intelligence Research
A guide to the modal logics of knowledge and belief: preliminary draft
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
FM '09 Proceedings of the 2nd World Congress on Formal Methods
CTL-RP: A computation tree logic resolution prover
AI Communications - Practical Aspects of Automated Reasoning
CTL+ is complete for double exponential time
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Oracle circuits for branching-time model checking
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
One-pass tableaux for computation tree logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Formalization of CTL* in calculus of inductive constructions
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
A Solver for Modal Fixpoint Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Pillars of computer science
On the complexity of branching-time logics
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Synthesis of reactive plans for multi-path environments
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Towards knowledge-level analysis of motion planning
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A CTL-based logic for program abstractions
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Flat coalgebraic fixed point logics
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Extended computation tree logic
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Nondeterministic update of CTL models by preserving satisfaction through protections
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Robust Vacuity for Branching Temporal Logic
ACM Transactions on Computational Logic (TOCL)
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
The complexity of model checking higher order fixpoint logic
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Journal of Computer and System Sciences
A complete and decidable axiomatisation for deontic interpreted systems
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Constructive formalization of hybrid logic with eventualities
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Branching-time logic programming: the language Cactus and its applications
Computer Languages
ACM Transactions on Computational Logic (TOCL)
Survey: Linear Temporal Logic Symbolic Model Checking
Computer Science Review
Logic and Program Semantics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
A Complete Axiomatization of Process Temporal Logic
Fundamenta Informaticae
Linear time logics around PSL: complexity, expressiveness, and a little bit of succinctness
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Verification of computer switching networks: an overview
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Constructive completeness for modal logic with transitive closure
CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs
Querying business process models with VMQL
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
A resolution calculus for the branching-time temporal logic CTL
ACM Transactions on Computational Logic (TOCL)
Branching-time logics with path relativisation
Journal of Computer and System Sciences
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
A New Translation from ECTL* to SAT
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Hi-index | 0.00 |