Philippe Balbiani

Saúl Fernández González

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

Quantifying over Asynchronous Information Change.

[BibT_eX]

[DOI]

Saúl Fernández González

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.

[BibT_eX]

[DOI]

Stud Logica, 2019

Axiomatization and computability of a variant of iteration-free PDL with fork.

[BibT_eX]

[DOI]

Joseph Boudou

J. Log. Algebraic Methods Program., 2019

Two decision problems in Contact Logics.

[BibT_eX]

[DOI]

Zafer Özdemir

Log. J. IGPL, 2019

Remarks about the unification type of several non-symmetric non-transitive modal logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 2019

Setting the Basis for Here and There Modal Logics.

[BibT_eX]

[DOI]

Martín Diéguez

FLAP, 2019

About the unification type of simple symmetric modal logics.

[BibT_eX]

[DOI]

CoRR, 2019

Representation theorems for extended contact algebras based on equivalence relations.

[BibT_eX]

[DOI]

Tatyana Ivanova

CoRR, 2019

Decidable and Undecidable Problems for First-Order Definability and Modal Definability.

[BibT_eX]

[DOI]

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

Stratified Evidence Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Unification in Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

Modal correspondence theory in the class of all Euclidean frames.

[BibT_eX]

[DOI]

Dimiter Georgiev

J. Log. Comput., 2018

Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization.

[BibT_eX]

[DOI]

Joseph Boudou

J. Log. Comput., 2018

Elementary Unification in Modal Logic KD45.

[BibT_eX]

[DOI]

FLAP, 2018

Frame-Validity Games and Absolute Minimality of Modal Axioms.

[BibT_eX]

[DOI]

Petar Iliev

Proceedings of the Advances in Modal Logic 12, 2018

Here and There Modal Logic with Dual Implication.

[BibT_eX]

[DOI]

Martín Diéguez

Proceedings of the Advances in Modal Logic 12, 2018

2017

Undecidable problems for modal definability.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

KD is nullary.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

Unification in epistemic logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

Finitariness of Elementary Unification in Boolean Region Connection Calculus.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Exploring the Bidimensional Space: A Dynamic Logic Point of View.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Reasoning about negligibility and proximity in the set of all hyperreals.

[BibT_eX]

[DOI]

J. Appl. Log., 2016

Solving equations in pure double Boolean algebras.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Unification, 2016

Temporal Here and There.

[BibT_eX]

[DOI]

Martín Diéguez

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

On Logics of Group Belief in Structured Coalitions.

[BibT_eX]

[DOI]

David Pearce

Levan Uridia

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

A Logical Theory of Belief Dynamics for Resource-Bounded Agents.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Unification in modal logic Alt1.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

About intuitionistic public announcement logic.

[BibT_eX]

[DOI]

Didier Galmiche

Proceedings of the Advances in Modal Logic 11, 2016

Axiomatizing the lexicographic products of modal logics with linear temporal logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

Before announcement.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

2015

Putting right the wording and the proof of the Truth Lemma for APAL.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2015

Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition.

[BibT_eX]

[DOI]

Joseph Boudou

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Definability and Canonicity for Boolean Logic with a Binary Relation.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE.

[BibT_eX]

[DOI]

François Schwarzentruber

Nicolas Troquard

CoRR, 2014

A simple proof of the completeness of APAL.

[BibT_eX]

[DOI]

CoRR, 2014

Unification in the normal modal logic Alt1.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Unification, 2014

Definability and Computability for PRSPDL.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

2013

Agents that look at one another.

[BibT_eX]

[DOI]

Olivier Gasquet

François Schwarzentruber

Log. J. IGPL, 2013

Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2013

Admissibility and Unifiability in Contact Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2013

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL.

[BibT_eX]

[DOI]

Nicolas Troquard

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Subset Space Logic with Arbitrary Announcements.

[BibT_eX]

[DOI]

Andrey Kudinov

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders.

[BibT_eX]

[DOI]

Szabolcs Mikulás

Proceedings of the Frontiers of Combining Systems, 2013

2012

Deciding the word problem in pure double Boolean algebras.

[BibT_eX]

[DOI]

J. Appl. Log., 2012

Modal logics for reasoning about infinite unions and intersections of binary relations.

[BibT_eX]

[DOI]

Natasha Alechina

Dmitry Shkatov

J. Appl. Non Class. Logics, 2012

Deciding the Bisimilarity Relation between Datalog Goals.

[BibT_eX]

[DOI]

Antoun Yaacoub

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders.

[BibT_eX]

[DOI]

Levan Uridia

Proceedings of the Advances in Modal Logic 9, 2012

Sahlqvist Theorems for Precontact Logics.

[BibT_eX]

[DOI]

Stanislav Kikot

Proceedings of the Advances in Modal Logic 9, 2012

Some Truths Are Best Left Unsaid.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

2011

Reasoning About Permitted Announcements.

[BibT_eX]

[DOI]

Pablo Seban

J. Philos. Log., 2011

Axiomatization and completeness of lexicographic products of modal logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

Two-sorted Point-Interval Temporal Logics.

[BibT_eX]

[DOI]

Valentin Goranko

Guido Sciavicco

Proceedings of the 7th Workshop on Methods for Modalities, 2011

The Word Problem in Semiconcept Algebras.

[BibT_eX]

[DOI]

Proceedings of The Eighth International Conference on Concept Lattices and Their Applications, 2011

Agents that speak: modelling communicative plans and information sources in a logic of announcements.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Tableaux for Public Announcement Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Boolean logics with relations.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Group announcement logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2010

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2010

A Modal Logic for Termgraph Rewriting

[BibT_eX]

[DOI]

Rachid Echahed

CoRR, 2010

Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints.

[BibT_eX]

[DOI]

Proceedings of the TIME 2010, 2010

Coherence Test on Graphs Constraints between Hyperintervals.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

A Dynamic Logic for Termgraph Rewriting.

[BibT_eX]

[DOI]

Rachid Echahed

Proceedings of the Graph Transformations - 5th International Conference, 2010

Tools and Techniques in Qualitative Reasoning about Space.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2010

An intruder model for trust negotiation.

[BibT_eX]

[DOI]

Yannick Chevalier

Marwa El Houri

Proceedings of the CRiSIS 2010, 2010

2009

Controller/Orchestrator Synthesis via Filtration.

[BibT_eX]

[DOI]

Guillaume Feuillade

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Composition of Services with Constraints.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

A Policy Language for Modelling Recommendations.

[BibT_eX]

[DOI]

Anas Abou El Kalam

Proceedings of the Emerging Challenges for Security, 2009

A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment.

[BibT_eX]

[DOI]

Yannick Chevalier

Marwa El Houri

Proceedings of the CRiSIS 2009, 2009

2008

'Knowable' as 'known after an announcement'.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2008

Alternative Axiomatics and Complexity of Deliberative STIT Theories.

[BibT_eX]

[DOI]

Nicolas Troquard

J. Philos. Log., 2008

Hyper arrow logic with indiscernibility and complementarity.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2008

Logical approaches to deontic reasoning: From basic questions to dynamic solutions.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2008

A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n.

[BibT_eX]

[DOI]

Petar Iliev

Fundam. Informaticae, 2008

Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition.

[BibT_eX]

[DOI]

Guillaume Feuillade

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Composition of Interactive Web Services Based on Controller Synthesis.

[BibT_eX]

[DOI]

Guillaume Feuillade

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

A Logical Approach to Dynamic Role-Based Access Control.

[BibT_eX]

[DOI]

Yannick Chevalier

Marwa El Houri

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

Logical Theories for Fragments of Elementary Geometry.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Spatial Logics, 2007

Line-based affine reasoning in Euclidean plane.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

Dynamic logics of the region-based theory of discrete spaces.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2007

Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Modal Logics for Region-based Theories of Space.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations.

[BibT_eX]

[DOI]

Jan M. Broersen

Julien Brunel

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Global and Local Graph Modifiers.

[BibT_eX]

[DOI]

Guillaume Aucher

Proceedings of the 5th Workshop on Methods for Modalities, 2007

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Tableau Method for Public Announcement Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

2006

Definability Over the Class of all Partitions.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

On the consistency problem for the INDU calculus.

[BibT_eX]

[DOI]

J. Appl. Log., 2006

Every world can see a Sahlqvist world.

[BibT_eX]

[DOI]

Ilya Shapirovsky

Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 6, 2006

An expressive two-sorted spatial logic for plane projective geometry.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 6, 2006

Access control with prohibitions and obligations.

[BibT_eX]

[DOI]

Fatima Harb

Ali Kaafarani

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Access Control with Uncertain Surveillance.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Safety Problems in Access Control with Temporal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computer Network Security, 2005

A formal examination of roles and permissions in access control.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

A Uniform Approach to Modelling Timed Protection.

[BibT_eX]

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005

2004

Dynamic extensions of arrow logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2004

Solving Constraints Between Lines in Euclidean Geometry.

[BibT_eX]

[DOI]

Khalil Challita

Proceedings of the Artificial Intelligence: Methodology, 2004

2003

PDL with Intersection of Programs: A Complete Axiomatization.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2003

Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

On the Consistency Problem for the INDU Calculus.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Reasoning about Cyclic Space: Axiomatic and Computational Aspects.

[BibT_eX]

[DOI]

Proceedings of the Spatial Cognition III, Routes and Navigation, Human Memory and Learning, 2003

Organization based access contro.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

2002

Tractability Results in the Block Algebra.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

Modal Logics for Parallelism, Orthogonality, and Affine Geometries.

[BibT_eX]

[DOI]

Valentin Goranko

J. Appl. Non Class. Logics, 2002

A Modal Logic for Indiscernibility and Complementarity in Information Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Spatial Reasoning About Points in a Multidimensional Setting.

[BibT_eX]

[DOI]

Appl. Intell., 2002

Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Editorial Preface.

[BibT_eX]

Nobu-Yuki Suzuki

Frank Wolter

Michael Zakharyaschev

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

A new proof of completeness for a relative modal logic with composition and intersection.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2001

Iteration-free PDL with Intersection: a Complete Axiomatization.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2001

First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

Emptiness Relations in Property Systems.

[BibT_eX]

[DOI]

Proceedings of the Relational Methods in Computer Science, 2001

2000

Reasoning about Generalized Intervals: Horn Representability and Tractability.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

A Model for Reasoning about Topologic Relations between cyclic intervals.

[BibT_eX]

Aomar Osmani

Proceedings of the KR 2000, 2000

1999

A hierarchy of modal logics with relative accessibility relations.

[BibT_eX]

[DOI]

Ewa Orlowska

J. Appl. Non Class. Logics, 1999

Inequality without irreflexivity.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1999

A New Tractable Subclass of the Rectangle Algebra.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1999

1998

Complete axiomatization of a relative modal logic with composition and intersection.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1998

The modal multilogic of geometry.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1998

A Model for Reasoning about Bidemsional Temporal Relations.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

A Modal Logic for Reasoning about Beliefs, Desires and Intentions of Complex Agents in a Distributed Environment.

[BibT_eX]

[DOI]

Amal El Fallah Seghrouchni

Proceedings of the Third International Conference on Multiagent Systems, 1998

Reasoning about Generalized Intervals.

[BibT_eX]

[DOI]

Aomar Osmani

Proceedings of the Artificial Intelligence: Methodology, 1998

Extending arrow logic.

[BibT_eX]

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Modal Logics for Incidence Geometries.

[BibT_eX]

[DOI]

J. Log. Comput., 1997

Prefixed Tableaux Systems for Modal Logics with Enriched Languages.

[BibT_eX]

[DOI]

Stéphane Demri

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

A Modal Logic for Data Analysis.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Geometrical Structures and Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996

Modal Logics with Relative Accessibility Relations.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996

Terminological Modal Logic.

[BibT_eX]

Proceedings of the Advances in Modal Logic 1, 1996

1994

A translation from the modal logic of provability into K4.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1994

Equation Solving in Geometrical Theories.

[BibT_eX]

[DOI]

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

Equation Solving in Projective Planes and Planar Ternary Rings.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993

Affine Geometry of Collinearity and Conditional Term Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Term Rewriting, 1993

1992

A modal semantics of negation in logic programming.

[BibT_eX]

Fundam. Informaticae, 1992

Sur la finitude des dérivations de la programmation en logique.

[BibT_eX]

Proceedings of the JFPL'92, 1992

The Finiteness of Logic Programming Derivations.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1992

1991

Modal Logic and Negation as Failure.

[BibT_eX]

[DOI]

J. Log. Comput., 1991

A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules.

[BibT_eX]

[DOI]

Proceedings of the STACS 91, 1991

TIM: The Toulouse Inference Machine for Non-Classical Logic Programming.

[BibT_eX]

[DOI]

Mamede Lima-Marques

Proceedings of the Processing Declarative Knowledge, 1991

1990

Non-monotonic Reasoning and Modal Logic, from Negation as Failure to Default Logic.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Knowledge Bases, 1990

1988

Declarative Semantics for Modal Logic Programs.

[BibT_eX]