The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase dynamic logics (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1979-1993 (16) 1994-2005 (15) 2006-2010 (15) 2011-2019 (19) 2021 (1)
Publication types (Num. hits)
article(21) incollection(1) inproceedings(42) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 22 keywords

Results
Found 66 publication records. Showing 66 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
29Philipp Rohde Moving in a Crumbling Network: The Balanced Case. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, modal logics, dynamic logics
27Johan van Benthem Decisions, Actions, and Games: A Logical Perspective. Search on Bibsonomy ICLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Johann A. Makowsky Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory. (Errata: ICALP 1981: 551) Search on Bibsonomy ICALP The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
23Larisa Maksimova, Andrei Voronkov Complexity of Some Problems in Modal and Intuitionistic Calculi. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Moshe Y. Vardi Reasoning about The Past with Two-Way Automata. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Giuseppe De Giacomo, Maurizio Lenzerini Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. Search on Bibsonomy AAAI The full citation details ... 1994 DBLP  BibTeX  RDF
22Balázs Biró, Ildikó Sain Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22David Harel, David Peleg On Static Logics, Dynamic Logics, and Complexity Classes Search on Bibsonomy Inf. Control. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
20Till Mossakowski, Lutz Schröder, Sergey Goncharov 0001 A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. Search on Bibsonomy FASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
16Nathan Fulton, André Platzer A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. Search on Bibsonomy CPP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
14Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Agent logic, knowledge, decidability, commitments, actions, dynamic logic, multi-modal logic, abilities, soundness and completeness
12Igor Sedlár Decidability and Complexity of Some Finitely-valued Dynamic Logics. Search on Bibsonomy KR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
12Rose Bohrer, André Platzer Toward Structured Proofs for Dynamic Logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
12Mikhail N. Rybakov, Dmitry Shkatov Complexity and expressivity of propositional dynamic logics with finitely many variables. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
12Igor Sedlár Substructural Propositional Dynamic Logics. Search on Bibsonomy WoLLIC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
12Leandro Gomes 0001, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. Search on Bibsonomy ICFEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
12Leandro Gomes 0001 On the Construction of Multi-valued Concurrent Dynamic Logics. Search on Bibsonomy DaLí The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
12Mikhail N. Rybakov, Dmitry Shkatov Complexity and expressivity of propositional dynamic logics with finitely many variables. Search on Bibsonomy Log. J. IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
12Alexandre Madeira, Renato Neves, Manuel A. Martins 0001 An exercise on the generation of many-valued dynamic logics. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
12Joseph Boudou, Emiliano Lorini Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
12Helle Hvid Hansen, Clemens Kupke Weak Completeness of Coalgebraic Dynamic Logics. Search on Bibsonomy FICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
12Philippe Balbiani, Joseph Boudou Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
12Christiano Braga, Bruno Lopes 0001 Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. Search on Bibsonomy SBMF The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
12Cláudia Nalon, Bruno Lopes 0001, Gilles Dowek, Edward Hermann Haeusler A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. Search on Bibsonomy LSFA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Mario R. F. Benevides, Luis Menasché Schechter Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator. Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. Search on Bibsonomy IFIP TCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12André Platzer Dynamic Logics of Dynamical Systems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
12Johan van Benthem, Eric Pacuit Dynamic Logics of Evidence-Based Beliefs. Search on Bibsonomy Stud Logica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
12Markus Latte Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages Search on Bibsonomy GandALF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
12Roland Axelsson, Martin Lange Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics. Search on Bibsonomy RP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
12Tomohiro Hoshi, Eric Pacuit Dynamic logics of knowledge and access. Search on Bibsonomy Synth. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
12André Platzer Differential Dynamic Logics. Search on Bibsonomy Künstliche Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
12Mario R. F. Benevides, Luis Menasché Schechter CCS-Based Dynamic Logics for Communicating Concurrent Programs Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
12Anders Søgaard, Martin Lange Polyadic Dynamic Logics for HPSG Parsing. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Fernando R. Velázquez-Quesada Dynamic Logics for Explicit and Implicit Information. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12André Platzer Differential dynamic logics - automated theorem proving for hybrid systems. Search on Bibsonomy 2008   RDF
12Stefan Göller Computational complexity of propositional dynamic logics. Search on Bibsonomy 2008   RDF
12Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov Dynamic logics of the region-based theory of discrete spaces. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
12Jan van Eijck, Martin Stokhof The gamut of dynamic logics. Search on Bibsonomy Logic and the Modalities in the Twentieth Century The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Stefan Göller, Markus Lohrey Infinite State Model-Checking of Propositional Dynamic Logics. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Martin Lange, Carsten Lutz 2-ExpTime lower bounds for propositional dynamic logics with intersection. Search on Bibsonomy J. Symb. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Renate A. Schmidt, Dmitry Tishkovsky Multi-Agent Dynamic Logics with Informational Test. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Daniel Leivant Proving Termination Assertions in Dynamic Logics. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Daniel Leivant Partial Correctness Assertions Provable in Dynamic Logics. Search on Bibsonomy FoSSaCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Piero A. Bonatti On the Undecidability of Description and Dynamic Logics with Recursion and Counting. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
12Jan M. Broersen Relativized Action Complement for Dynamic Logics. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2002 DBLP  BibTeX  RDF
12Johan van Benthem Process Operations in Extended Dynamic Logics. Search on Bibsonomy LICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
12Ilmir Kh. Musikaev, Michael A. Taitslin Limitations of the Program Memory and the Expressive Power of Dynamic Logics Search on Bibsonomy Inf. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
12Michael L. Tiomkin, Johann A. Makowsky Decidability of Finite Probablistic Propositional Dynamic Logics Search on Bibsonomy Inf. Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
12Alexei P. Stolboushkin Some Complexity Bounds for Dynamic Logics Search on Bibsonomy LICS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
12David E. Muller, Ahmed Saoudi, Paul E. Schupp Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time Search on Bibsonomy LICS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
12Hajnal Andréka, Irène Guessarian, István Németi A Unifying Theorem for Algebraic Semantics and Dynamic Logics Search on Bibsonomy Inf. Comput. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
12Hajnal Andréka, Irène Guessarian, István Németi A unifying theorem for algebraic semantics and dynamic logics. Search on Bibsonomy FCT The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
12Robert S. Streett Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping. Search on Bibsonomy Logic of Programs The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
12Tinko Tinchev, Dimiter Vakarelov Propositional dynamic logics with counters and stacks. Search on Bibsonomy Symposium on Computation Theory The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
12Alexei P. Stolboushkin, Michael A. Taitslin The Comparison of the Expressive Power of First-Order Dynamic Logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
12Tmima Koren, Amir Pnueli There Exit Decidable Context Free Propositional Dynamic Logics. Search on Bibsonomy Logic of Programs The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
12Johann A. Makowsky Errata: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory. (see: ICALP 1980: 409-421) Search on Bibsonomy ICALP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
12Rohit Parikh Propositional Dynamic Logics of Programs: a Survey. Search on Bibsonomy Logic of Programs The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
12Jan M. Broersen A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. Search on Bibsonomy DALT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
12Giuseppe De Giacomo, Maurizio Lenzerini Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
9Zhiguo Zhang, Yunfei Jiang Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization. Search on Bibsonomy APPT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Parallel actions, First-order logic, Expressiveness, Dynamic logic, Axiomatization
8Cédric Dégremont, Nina Gierasimczuk Can Doxastic Agents Learn? On the Temporal Structure of Learning. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal learning theory, doxastic epistemic logic, epistemic update, temporal logic, belief revision, dynamic epistemic logic
8Thorsten Ehm, Bernhard Möller, Georg Struth Kleene Modules. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
7Vladimir A. Zakharov, Ivan Zakharyaschev On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata. Search on Bibsonomy CIAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #66 of 66 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license