POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Back and forth between guarded and modal logics
ACM Transactions on Computational Logic (TOCL)
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Policy algebras for access control the predicate case
Proceedings of the 9th ACM conference on Computer and communications security
Journal of Logic, Language and Information
Situation Calculus as Hybrid Logic: First Steps
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Structural Properties of XPath Fragments
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Multi-agent Logics of Dynamic Belief and Knowledge
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Trust and Commitment in Dynamic Logic
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Calculating Church-Rosser Proofs in Kleene Algebra
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Interpretability of First-Order Dynamic Logic in a Relational Calculus
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
An Extension of Dynamic Logic for Modelling OCL's @pre Operator
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
A Logic for Abstract State Machines
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
On the equational definition of the least prefixed point
Theoretical Computer Science - Mathematical foundations of computer science
Substructural logic and partial correctness
ACM Transactions on Computational Logic (TOCL)
A Logic for Reasoning about Digital Rights
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Concurrent dynamic epistemic logic for MAS
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information
The description logic handbook
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Journal of Logic, Language and Information
A modal characterization of Nash equilibrium
Fundamenta Informaticae
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Some results in dynamic model theory
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Multi-Agent Dynamic Logics with Informational Test
Annals of Mathematics and Artificial Intelligence
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
DynAlloy: upgrading alloy with actions
Proceedings of the 27th international conference on Software engineering
Logical verification and equational verification
ACM SIGACT News
A dynamic logic formalisation of the dialogue gameboard
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 2
On the logic of cooperation and propositional control
Artificial Intelligence
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the dynamics of delegation, cooperation, and control: a logical account
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Structural properties of XPath fragments
Theoretical Computer Science - Database theory
Common knowledge in update logics
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Reasoning about static and dynamic properties in alloy: A purely relational approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Quality Assurance in the Design of Web Information Systems
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Customised Induction Rules for Proving Correctness of Imperative Programs
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Algebras of modal operators and partial correctness
Theoretical Computer Science - Algebraic methodology and software technology
Reasoning about action and cooperation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
LQP: the dynamic logic of quantum information
Mathematical Structures in Computer Science
Provably correct loops bounds for realtime Java programs
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Automatic web services composition in trustaware communities
Proceedings of the 3rd ACM workshop on Secure web services
ACM Transactions on Computational Logic (TOCL)
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
Epistemic Verification of Anonymity
Electronic Notes in Theoretical Computer Science (ENTCS)
Logics of communication and change
Information and Computation
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Protocol Composition Logic (PCL)
Electronic Notes in Theoretical Computer Science (ENTCS)
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Personalisation of web information systems - A term rewriting approach
Data & Knowledge Engineering
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Mechanizing common knowledge logic using COQ
Annals of Mathematics and Artificial Intelligence
Efficient Analysis of DynAlloy Specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Metatheory of actions: Beyond consistency
Artificial Intelligence
Undecidability of the unification and admissibility problems for modal and description logics
ACM Transactions on Computational Logic (TOCL)
Completeness of ASM Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integration of a security type system into a program logic
Theoretical Computer Science
Annotation and matching of first-class agent interaction protocols
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Reasoning about agent execution strategies
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Programming with Proofs: Language-Based Approaches to Totally Correct Software
Verified Software: Theories, Tools, Experiments
A Short Introduction to Computational Social Choice
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Differential Dynamic Logic for Verifying Parametric Hybrid Systems
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Dynamics of Approximate Information Fusion
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Automated Reasoning in Kleene Algebra
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Logical Verification and Systematic Parametric Analysis in Train Control
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
25 Years of Model Checking
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code
FM '08 Proceedings of the 15th international symposium on Formal Methods
Trust and Norms in the Context of Computer Security: A Logical Formalization
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Computing Differential Invariants of Hybrid Systems as Fixedpoints
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Verification of Java Programs with Generics
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
A Complete Axiomatic System for a Process-Based Spatial Logic
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
GOAL Agents Instantiate Intention Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Propositional Dynamic Logic for Recursive Procedures
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Propositional Dynamic Logic with Program Quantifiers
Electronic Notes in Theoretical Computer Science (ENTCS)
Automating Algebraic Specifications of Non-freely Generated Data Types
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Run-Time Monitoring of Electronic Contracts
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Formal Modelling of Emotions in BDI Agents
Computational Logic in Multi-Agent Systems
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
Computational Logic in Multi-Agent Systems
The Compositional Method and Regular Reachability
Electronic Notes in Theoretical Computer Science (ENTCS)
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Inductive Completeness of Logics of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective
Trust in Agent Societies
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Declarative Agent Languages and Technologies VI
From Philosophical to Industrial Logics
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Annotation and Matching of First-Class Agent Interaction Protocols
Argumentation in Multi-Agent Systems
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
An aspect-oriented methodology for designing secure applications
Information and Software Technology
A Logic for Reasoning about Persuasion
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Adding nesting structure to words
Journal of the ACM (JACM)
Augmenting a regular expression-based temporal logic with local variables
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence
On the Completeness of Dynamic Logic
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Trust within the Context of Organizations: A Formal Approach
Formal Aspects in Security and Trust
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Boolean and classical restriction categories
Mathematical Structures in Computer Science
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems
Canadian AI '09 Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Modeling Persuasiveness: change of uncertainty through agents' interactions
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
$\mathcal{CL}$: An Action-Based Logic for Reasoning about Contracts
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
On Regular Temporal Logics with Past,
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Computing differential invariants of hybrid systems as fixedpoints
Formal Methods in System Design
A Tableau Calculus for Regular Grammar Logics with Converse
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Automatic synthesis of a global behavior from multiple distributed behaviors
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Automatic synthesis of new behaviors from a library of available behaviors
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Relation of Trust and Social Emotions: A Logical Approach
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
On the logic of cooperation and propositional control
Artificial Intelligence
Knowing more: from global to local correspondence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
Journal of Logic, Language and Information
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics
Fundamenta Informaticae
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Abstract Behavior: A Dynamic Logic Approach
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
A Verification System for Distributed Objects with Asynchronous Method Calls
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Fusion and mining spatial data in cyber-physical space with dynamic logic of phenomena
IJCNN'09 Proceedings of the 2009 international joint conference on Neural Networks
Algebra and Sequent Calculus for Epistemic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
Propositional Statecharts for Agent Interaction Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Imperative Quantum Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
The Algebra of Multi-Agent Dynamic Belief Revision
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
Knowledge-Based Systems
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
International Journal of Approximate Reasoning
Agent logics as program logics: grounding KARO
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
PDL with intersection and converse is 2EXP-complete
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Differential logic for reasoning about hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
A program logic for handling JAVACARD's transaction mechanism
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A multi-agent modal language for concurrency with non-communicating agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
A language for role specifications
LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
Verifying smart card applications: an ASM approach
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Observing distributed computation: a dynamic-epistemic approach
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
KeY: a formal method for object-oriented systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Proving programs incorrect using a sequent calculus for Java dynamic logic
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Generating unit tests from formal proofs
TAP'07 Proceedings of the 1st international conference on Tests and proofs
White-box testing by combining deduction-based specification extraction and black-box testing
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Integration of a security type system into a program logic
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
A complete and compact propositional deontic logic
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Using constraints and process algebra for specification of first-class agent interaction protocols
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Completeness for flat modal fixpoint logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Parallel first-order dynamic logic and its expressiveness and axiomatization
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Towards a logic for abstract metafinite state machines
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
On the structure of demonic refinement algebras with enabledness and termination
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Knowledge and games in modal semirings
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Bounded relational analysis of free data types
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Non-termination checking for imperative programs
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Integrating verification and testing of object-oriented software
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Verification by parallelization of parametric code
Algebraic and proof-theoretic aspects of non-classical logics
Automating verification of cooperation, control, and design in traffic applications
Formal methods and hybrid real-time systems
Controller/Orchestrator Synthesis via Filtration
Electronic Notes in Theoretical Computer Science (ENTCS)
Monadic Σ11 and Modal Logic with Quantified Binary Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning in dynamic logic about program termination
Pillars of computer science
Pillars of computer science
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
An epistemic logic for planning with trials
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
A Dynamic Logic of Agency II: Deterministic $${\mathcal{DLA}}$$ , Coalition Logic, and Game Theory
Journal of Logic, Language and Information
Agent composition synthesis based on ATL
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Reasoning about strategies of multi-agent programs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Characterising and matching iterative and recursive agent interaction protocols
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A Framework for Graded Beliefs, Goals and Intentions
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Mental State Ascription Using Dynamic Logic
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Journal of Artificial Intelligence Research
Reasoning about the transfer of control
Journal of Artificial Intelligence Research
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
A runs-and-systems semantics for logics of announcements
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Quantified differential dynamic logic for distributed hybrid systems
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
nSPARQL: A navigational language for RDF
Web Semantics: Science, Services and Agents on the World Wide Web
Automated Flaw Detection in Algebraic Specifications
Journal of Automated Reasoning
Magnitude qualitative reasoning via PDL
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Fundamenta Informaticae
Test data generation for programs with quantified first-order logic specifications
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
A dynamic logic for termgraph rewriting
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Extended computation tree logic
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Clausal graph tableaux for hybrid logic with eventualities and difference
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Verification architectures: compositional reasoning for real-time systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Relative expressive power of navigational querying on graphs
Proceedings of the 14th International Conference on Database Theory
A qualitative approach to uncertainty
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Learning in a changing world, an algebraic modal logical approach
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Satisfiability solving and model generation for quantified first-order logic formulas
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Specifying imperative ML-like programs using dynamic logic
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Dynamic frames in java dynamic logic
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
A dynamic logic for unstructured programs with embedded assertions
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Reasoning about agent deliberation
Autonomous Agents and Multi-Agent Systems
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Completeness of fair ASM refinement
Science of Computer Programming
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Regular relations for temporal propositions
Natural Language Engineering
Halting and equivalence of program schemes in models of arbitrary theories
Fields of logic and computation
Predicate abstraction in a program logic calculus
Science of Computer Programming
Combined logics of knowledge, time, and actions for reasoning about multi-agent systems
KONT'07/KPP'07 Proceedings of the First international conference on Knowledge processing and data analysis
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
Deliberation dialogues during multi-agent planning
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Programming mental state abduction
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Logic and compositional verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Characteristic formulae for the verification of imperative programs
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Annals of Mathematics and Artificial Intelligence
Reasoning about plan revision in BDI agent programs
Theoretical Computer Science
Alternating-time temporal announcement logic
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Knowledge and action in semi-public environments
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Formal verification of QVT transformations for code generation
Proceedings of the 14th international conference on Model driven engineering languages and systems
Preferential Reasoning for Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Clausal Tableaux for Hybrid PDL
Electronic Notes in Theoretical Computer Science (ENTCS)
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Automating algebraic methods in isabelle
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A dataflow analysis to improve SAT-based bounded program verification
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Verification of B+ trees: an experiment combining shape analysis and interactive theorem proving
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
ESC: a tool for automatic composition of e-services based on logics of programs
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Modal operators with adaptable semantics for multi-agent systems
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Partial knowledge in membrane systems: a logical approach
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Modal logics of negotiation and preference
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Introducing attempt in a modal logic of intentional action
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Automating verification of loops by parallelization
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Sequential, parallel, and quantified updates of first-order structures
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Developing provable secure m-commerce applications
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
Propositional dynamic logic with recursive programs
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
An improved rule for while loops in deductive program verification
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
A tableau calculus with automaton-labelled formulae for regular grammar logics
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Some preliminary steps towards a meta-theory for formal inter-agent dialogues
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Intentions and strategies in game-like scenarios
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Infinite state model-checking of propositional dynamic logics
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Decidable extensions of hennessy-milner logic
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Composition of services with nondeterministic observable behavior
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Verification of safety properties in the presence of transactions
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Dynamic discourse semantics for embedded speech acts
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
Formalisation and verification of java card security properties in dynamic logic
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Theory and Practice of Logic Programming
Complexity of subtype satisfiability over posets
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
A theorem proving approach to analysis of secure information flow
SPC'05 Proceedings of the Second international conference on Security in Pervasive Computing
Dynamic logic for plan revision in intelligent agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Sequences, obligations, and the contrary-to-duty paradox
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Dynamic logic semantics for UML consistency
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
The mondex challenge: machine checked proofs for an electronic purse
FM'06 Proceedings of the 14th international conference on Formal Methods
Formal reasoning about non-atomic java card methods in dynamic logic
FM'06 Proceedings of the 14th international conference on Formal Methods
Omega algebra, demonic refinement algebra and commands
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Definition and correct refinement of operation specifications
Dependable Systems
Relational semantics for higher-order programs
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
A systematic verification approach for mondex electronic purses using ASMs
Rigorous Methods for Software Construction and Analysis
A functional program for agents, actions, and deontic specifications
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
The recognition and interpretation of motion in language
CICLing'10 Proceedings of the 11th international conference on Computational Linguistics and Intelligent Text Processing
Optimal tableau algorithms for coalgebraic logics
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Terminating tableaux for hybrid logic with eventualities
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Teaching experience: logic and formal methods with coq
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Interest logic and its application on the web
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
MABS'11 Proceedings of the 12th international conference on Multi-Agent-Based Simulation
Towards a first-order deontic action logic
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Program specialization via a software verification tool
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
A unified theory of program logics: an approach based on the π-calculus
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Specification in PDL with recursion
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
A dynamic logic of normative systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Well-structured program equivalence is highly undecidable
ACM Transactions on Computational Logic (TOCL)
Journal of Logic, Language and Information
Perception and change in update logic
Games, Actions and Social Software
Agents in approximate environments
Games, Actions and Social Software
Games, Actions and Social Software
Dexter kozen's influence on the theory of labelled markov processes
Logic and Program Semantics
GOAL agents instantiate intention logic
Logic Programs, Norms and Action
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Epistemic coalition logic: completeness and complexity
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A logic of revelation and concealment
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A system for compositional verification of asynchronous objects
Science of Computer Programming
Automated verification of recursive programs with pointers
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Ten problems of deontic logic and normative reasoning in computer science
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Strategies in games: a logic-automata study
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Specification and verification of multi-agent systems
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
The Complete Proof Theory of Hybrid Systems
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Logical analysis of hybrid systems: a complete answer to a complexity challenge
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Verification of information flow properties of java programs without approximations
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
A Logic for Reasoning about Persuasion
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
A Modal Characterization of Nash Equilibrium
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Counterpart Semantics for a Second-Order μ-Calculus
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
A model of intention with (un)conditional commitments
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Propositional dynamic logic with converse and repeat for message-passing systems
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
The complexity of one-agent refinement modal logic
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Graded BDI models for agent architectures based on Łukasiewicz logic and propositional dynamic logic
WISM'12 Proceedings of the 2012 international conference on Web Information Systems and Mining
Incremental development of large, secure smart card applications
Proceedings of the Workshop on Model-Driven Security
Constructive completeness for modal logic with transitive closure
CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs
Querying graph databases with XPath
Proceedings of the 16th International Conference on Database Theory
An outline of a dynamic theory of frames
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Semantic acyclicity on graph databases
Proceedings of the 32nd symposium on Principles of database systems
Proceedings of the 32nd symposium on Principles of database systems
Trial for RDF: adapting graph query languages for RDF data
Proceedings of the 32nd symposium on Principles of database systems
Local Reasoning for Global Invariants, Part I: Region Logic
Journal of the ACM (JACM)
Proceedings of the 6th Balkan Conference in Informatics
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Public announcements under sheaves
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
The Markov assumption: formalization and impact
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Linear temporal logic and linear dynamic logic on finite traces
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The complexity of one-agent refinement modal logic (extended abstract)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Approximating Bisimilarity for Markov Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"
Autonomous Agents and Multi-Agent Systems
Verification and enforcement of access control policies
Formal Methods in System Design
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Hi-index | 0.05 |
From the Publisher:Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.