The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Advances in Modal Logic"( http://dblp.L3S.de/Venues/Advances_in_Modal_Logic )

URL (DBLP): http://dblp.uni-trier.de/db/conf/aiml

Publication years (Num. hits)
1996 (21) 1998 (20) 2000 (22) 2002 (24) 2003-2004 (20) 2005-2006 (31) 2008 (21) 2010 (27) 2012 (36) 2014 (34) 2016 (33) 2018 (39)
Publication types (Num. hits)
inproceedings(316) proceedings(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 328 publication records. Showing 328 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fengkui Ju, Gianluca Grilletti, Valentin Goranko A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev Frame-Validity Games and Absolute Minimality of Modal Axioms. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Ilya Shapirovsky Truth-Preserving Operations on Sums of Kripke Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Ana de Almeida Borges, Joost J. Joosten The Worm Calculus. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Stepan Kuznetsov *-Continuity vs. Induction: Divide and Conquer. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Robin Hirsch, Brett McLean The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Andrzej Indrzejczak Cut-Free Modal Theory of Definite Descriptions. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Alex Citkin One-Generated WS5-Algebras. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Stanislav Kikot Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Ivano Ciardelli Dependence Statements Are Strict Conditionals. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Arnon Avron, Ori Lahav A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Martín Diéguez, David Fernández-Duque An Intuitionistic Axiomatization of 'Eventually'. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Michel Marti, Thomas Studer The Internalized Disjunction Property for Intuitionistic Justification Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Birgit Elbl Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Roman Kuznets, Björn Lellmann Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev On Strictly Positive Modal Logics with S4.3 Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Silvio Ghilardi, Luigi Santocanale Ruitenburg's Theorem via Duality and Bounded Bisimulations. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Tiziano Dalmonte, Nicola Olivetti, Sara Negri Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Philippe Balbiani, Martín Diéguez Here and There Modal Logic with Dual Implication. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer (eds.) Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018 Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Yifeng Ding On the Logics with Propositional Quantifiers Extending S5Π. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Eduardo Hermo Reyes, Joost J. Joosten Relational Semantics for the Turing Schmerl Calculus. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Wesley H. Holliday, Tadeusz Litak One Modal Logic to Rule Them All?. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1James Koussas, Tomasz Kowalski, Yutaka Miyazaki, Michael Stevens Normal Extensions of KTB of Codimension 3. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Frederik Van De Putte, Dominik Klein 0004 Pointwise Intersection in Neighbourhood Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Valentin B. Shehtman On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Marianna Girlando, Nicola Olivetti, Sara Negri Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1David Baelde, Anthony Lick, Sylvain Schmitz A Hypersequent Calculus with Clusters for Linear Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Tristan Charrier, François Schwarzentruber Complexity of Dynamic Epistemic Logic with Common Knowledge. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Robert Goldblatt Canonicity Frameworks and Ultraproducts of Polarities. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Stéphane Demri, Raul Fervari On the Complexity of Modal Separation Logics. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Yanjing Wang, Jeremy Seligman When Names Are Not Commonly Known: Epistemic Logic with Assignments. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Tomasz Kowalski, George Metcalfe Coherence in Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Rosalie Iemhoff The Existence of Proof Systems. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Gaëtan Douéneau-Tabot, Sophie Pinchinat, François Schwarzentruber Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Dmitrij P. Skvortsov Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Christopher Hampson The Bimodal Logic of Commuting Difference Operators Is Decidable. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Agata Ciabattoni Intermediate Logics: From Hypersequents to Concurrent Computation. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Mikhail N. Rybakov, Dmitry Shkatov A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Yutaka Miyazaki The structure of the lattice of normal extensions of modal logics with cyclic axioms. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Jan van Eijck, Bryan Renne Update, Probability, Knowledge and Belief. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Robert Goldblatt, Ian M. Hodkinson The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexandru Baltag, Virginie Fiutek, Sonja Smets Beliefs and Evidence in Justification Models. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Igor Sedlár Propositional dynamic logic with Belnapian truth values. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Peter Fritz Post Completeness in Congruential Modal Logics. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Guram Bezhanishvili, Wesley H. Holliday Locales, Nuclei, and Dragalin Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexandru Baltag To Know is to Know the Value of a Variable. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Arnon Avron, Anna Zamansky A paraconsistent view on B and S5. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Sonia Marin, Dale Miller 0001, Marco Volpe 0001 A focused framework for emulating modal proof systems. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer Fully Arbitrary Public Announcements. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella Algebraic semantics of refinement modal logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Unification in modal logic Alt1. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Lauri Hella, Miikka Vilander The succinctness of first-order logic over modal logic via a formula size game. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Agata Ciabattoni, Francesco A. Genco Embedding formalisms: hypersequents and two-level systems of rule. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Philippe Balbiani, David Fernández-Duque Axiomatizing the lexicographic products of modal logics with linear temporal logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner Synthetic completeness proofs for Seligman-style tableau systems. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig Before announcement. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael De, Hitoshi Omori Classical and Empirical Negation in Subintuitionistic Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Birgit Elbl A cut-free sequent calculus for the logic of subset spaces. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Lev D. Beklemishev, Stéphane Demri, András Maté (eds.) Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016 Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Tao Gu, Yanjing Wang "Knowing value'' logic as a normal modal logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Philippe Balbiani, Didier Galmiche About intuitionistic public announcement logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Gerhard Jäger, Michel Marti A canonical model construction for intuitionistic distributed knowledge. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Juan P. Aguilera, David Fernández-Duque Verification logic: An arithmetical interpretation for negative introspection. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Denisa Diaconescu, George Metcalfe, Laura Schnüriger Axiomatizing a Real-Valued Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Marcus Kracht Logics of Infinite Depth. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Sara L. Uckelman The Logic of Where and While in the 13th and 14th Centuries. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1 Preface. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Ilya Shapirovsky, Valentin B. Shehtman Local tabularity without transitivity. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Ori Lahav, João Marcos 0001, Yoni Zohar It ain't necessarily so: Basic sequent systems for negative modalities. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Christopher Hampson Decidable first-order modal logics with counting quantifiers. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Tim French 0002, James Hales, Edwin Tay A Composable Language for Action Models. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Adam Prenosil A Duality for Distributive Unimodal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Renate A. Schmidt, John G. Stell, David E. Rydeheard Axiomatic and Tableau-Based Reasoning for Kt(H, R). Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Stéphane Demri, Morgan Deters The Effects of Modalities in Separation Logics (Extended Abstract). Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Yanjing Wang, Jie Fan 0001 Conditionally Knowing What. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema The Expressive Power of Modal Dependence Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Mark Reynolds A Tableau for Temporal Logic over the Reals. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Daniel Gorín, Lutz Schröder Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Sara Negri Recent Advances in Proof Systems for Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Tomoyuki Suzuki 0001 On Polarity Frames: Applications to Substructural and Lattice-based Logics. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer Modal Independence Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Valentin Goranko, Steen Vester Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Wesley H. Holliday Partiality and Adjointness in Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Lauri Hella, Antti Kuusisto One-dimensional Fragment of First-order Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Facundo Carreiro, Yde Venema PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael De, Hitoshi Omori More on Empirical Negation. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Sara L. Uckelman Reasoning About Obligations in Obligationes: A Formal Approach. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Sonia Marin, Lutz Straßburger Label-free Modular Systems for Classical and Intuitionistic Modal Logics. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Nick Bezhanishvili, Silvio Ghilardi Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Samuel J. van Gool Free Algebras for Gödel-Löb Provability Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Andrey Kudinov Neighbourhood Frame Product KxK. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Faried Abu Zaid, Erich Grädel, Stephan Jaax Bisimulation Safe Fixed Point Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Jie Fan 0001, Wiebe van der Hoek, Petar Iliev Some Exponential Lower Bounds on Formula-size in Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Jan van Eijck, François Schwarzentruber Epistemic Probability Logic Simplified. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Jie Fan 0001, Yanjing Wang, Hans van Ditmarsch Almost Necessary. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Definability and Computability for PRSPDL. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Che-Ping Su Paraconsistent Justification Logic: a Starting Point. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Rajeev Goré, Barteld P. Kooi, Agi Kurucz (eds.) Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014 Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 328 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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