Back and forth between guarded and modal logics
ACM Transactions on Computational Logic (TOCL)
Ascribing beliefs to resource bounded agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Artificial Intelligence Review
Alternative Translation Techniques for Propositional and First-Order Modal Logics
Journal of Automated Reasoning
Journal of Logic, Language and Information
Extensive Games as Process Models
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Guarded fixed point logics and the monadic theory of countable trees
Theoretical Computer Science - Complexity and logic
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
Generalizing the Modal and Temporal Logic of Linear Time
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Decidability of Interval Temporal Logics over Split-Frames via Granularity
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Multi-agent Logics of Dynamic Belief and Knowledge
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Hybrid Treatment of Evolutionary Sets
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Logics Admitting Final Semantics
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Labelled Deduction over Algebras of Truth-Values
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Generalising Automaticity to Modal Properties of Finite Structures
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Knowledge over Dense Flows of Time (from a Hybrid Point of View)
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Modal Logic and the Two-Variable Fragment
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Modelling Change with the Aid of Knowledge and Time
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Computing Spatial Similarity by Games
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
The Inverse Method Implements the Automata Approach for Modal Satisfiability
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Tableaux for Quantified Hybrid Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
Handbook of automated reasoning
Theoretical Computer Science
Concurrent dynamic epistemic logic for MAS
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Ignore at your peril - towards a logic for ignorance
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
Two Natural Deduction Systems for Hybrid Logic: A Comparison
Journal of Logic, Language and Information
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Theoretical Computer Science
Normal conditions for inference relations and injective models
Theoretical Computer Science
Modal operators and the formal dual of Birkhoff's completeness theorem
Mathematical Structures in Computer Science
Archetypal dynamics: an approach to the study of emergence
Formal descriptions of developing systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inflationary fixed points in modal logic
ACM Transactions on Computational Logic (TOCL)
From tableaux to automata for description logics
Fundamenta Informaticae
A modal characterization of Nash equilibrium
Fundamenta Informaticae
Neural-symbolic intuitionistic reasoning
Design and application of hybrid intelligent systems
Multi-Agent Dynamic Logics with Informational Test
Annals of Mathematics and Artificial Intelligence
Best-match querying from document-centric XML
Proceedings of the 7th International Workshop on the Web and Databases: colocated with ACM SIGMOD/PODS 2004
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Using Model Checking to Assess the Dependability of Agent-Based Systems
IEEE Intelligent Systems
Theoretical Computer Science - Selected papers of CMCS'03
Operations and equations for coalgebras
Mathematical Structures in Computer Science
Resolution of Semantic Heterogeneity in Database Schema Integration Using Formal Ontologies
Information Technology and Management
Natural Deduction for First-Order Hybrid Logic
Journal of Logic, Language and Information
Coalgebraic modal logic of finite rank
Mathematical Structures in Computer Science
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 computationally grounded logic of knowledge, belief and certainty
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Foundations of organizational structures in multiagent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Semantic characterizations of navigational XPath
ACM SIGMOD Record
A logical analysis of aliasing in imperative higher-order functions
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
First-order classical modal logic: applications in logics of knowledge and probability
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Structured queries in XML retrieval
Proceedings of the 14th ACM international conference on Information and knowledge management
Proceedings of the 2005 ACM workshop on Formal methods in security engineering
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
ACM SIGACT News
Structural characterizations of the semantics of XPath as navigation tool on a document
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Similarity between preferential models
Theoretical Computer Science
Linear and affine logics with temporal, spatial and epistemic operators
Theoretical Computer Science
Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the logic of coalitional games
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Logics of propositional control
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
Modal logic investigations in the semantics of counts-as
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A characterization theorem for injective model classes axiomatized by general rules
Theoretical Computer Science
Theoretical Computer Science
Articulating information needs in XML query languages
ACM Transactions on Information Systems (TOIS)
Context logic as modal logic: completeness and parametric inexpressivity
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A coordination approach to mobile components
Theoretical Computer Science - Formal methods for components and objects
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
Theoretical Computer Science
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Artificial Intelligence
Fundamenta Informaticae
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
Generalising automaticity to modal properties of finite structures
Theoretical Computer Science
Topological Perspective on the Hybrid Proof Rules
Electronic Notes in Theoretical Computer Science (ENTCS)
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hybridization of Irreflexive Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Decidability of a Hybrid Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic (TOCL)
Symbolic model checking of institutions
Proceedings of the ninth international conference on Electronic commerce
Automated theorem proving by resolution in non-classical logics
Annals of Mathematics and Artificial Intelligence
Metatheory of actions: Beyond consistency
Artificial Intelligence
Bounded model checking for knowledge and real time
Artificial Intelligence
Clausal resolution for normal modal logics
Journal of Algorithms
Modular construction of complete coalgebraic logics
Theoretical Computer Science
Symbolic model checking for temporal-epistemic logics
ACM SIGACT News
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Epistemic analysis of strategic games with arbitrary strategy sets
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Reasoning about judgment and preference aggregation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Reducing the complexity of logics for multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Language Parametric Module Management for IDEs
Electronic Notes in Theoretical Computer Science (ENTCS)
Modal Expressiveness of Graph Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Modal Logics for Region-based Theories of Space
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n
Fundamenta Informaticae
Admissibility of Cut in Coalgebraic Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Modal Tools for Separation and Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
COMMON-SENSE SPATIAL REASONING FOR INFORMATION CORRELATION IN PERVASIVE COMPUTING
Applied Artificial Intelligence
Specifying and reasoning about uncertain agents
International Journal of Approximate Reasoning
Ehrenfeucht--Fraïssé games in finite set theory
Information Processing Letters
Epistemic logic and explicit knowledge in distributed programming
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Verified Software: Theories, Tools, Experiments
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Reasoning About Operations on Sets
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Explicit Proofs in Formal Provability Logic
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Including the Past in `Topologic'
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning in Kleene Algebra
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Noetherianity and Combination Problems
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
ACII '07 Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance
Current Topics in Artificial Intelligence
Action and Agency in Norm-Governed Multi-agent Systems
Engineering Societies in the Agents World VIII
25 Years of Model Checking
A Logical Analysis of the Interaction between `Obligation-to-do' and `Knowingly Doing'
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Pushing Anderson's Envelope: The Modal Logic of Ascription
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Expressive Power and Decidability for Memory Logics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
On Automating the Calculus of Relations
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Topology and Knowledge of Multiple Agents
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Consistency Preservation and Crazy Formulas in BMS
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A Logic for Closed-World Interaction
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
GOAL Agents Instantiate Intention Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A theoretical investigation of regular equivalences for fuzzy graphs
International Journal of Approximate Reasoning
Logics from Galois connections
International Journal of Approximate Reasoning
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
Reasoning about coalitional games
Artificial Intelligence
Journal of Logic, Language and Information
Epistemic Logic for Rule-Based Agents
Journal of Logic, Language and Information
A Logic of Situated Resource-Bounded Agents
Journal of Logic, Language and Information
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Computational Logic in Multi-Agent Systems
Classical BI: a logic for reasoning about dualising resources
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KT and S4 Satisfiability in a Constraint Logic Environment
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
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
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Completeness Results for Memory Logics
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
Towards a theory of search queries
Proceedings of the 12th International Conference on Database Theory
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equivalence Criteria for Compositional IF Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA
Electronic Notes in Theoretical Computer Science (ENTCS)
Hybrid Tableaux for the Difference Modality
Electronic Notes in Theoretical Computer Science (ENTCS)
Completeness and Complexity of Multi-modal CTL
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying Social Expectations by Model Checking Truncated Paths
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence
Logic, Language, and Computation
Trust within the Context of Organizations: A Formal Approach
Formal Aspects in Security and Trust
A logic of games and propositional control
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Rational choice and AGM belief revision
Artificial Intelligence
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Evidence elimination in multi-agent justification logic
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Formal Aspects of Legislative Meta-Drafting
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Knowing Minimum/Maximum n Formulae
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Organizing Coherent Coalitions
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Simple Modal Logic for Reasoning about Revealed Beliefs
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Logic for Complete Information Systems
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Query Answering in Description Logics: The Knots Approach
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Observational Effort and Formally Open Mappings
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
A Duality for Algebras of Lattice-Valued Modal Logic
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
$\mathcal{CL}$: An Action-Based Logic for Reasoning about Contracts
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Nested Proof Compilation and Proof Checking in Universal Pattern Logic
RSKT '09 Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology
Automated deduction for verification
ACM Computing Surveys (CSUR)
Introducing Polymodal Neighbourhood Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
A Logical Approach to Hamiltonian Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving Translation of Live Sequence Charts to Temporal Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Knowledge forgetting: Properties and applications
Artificial Intelligence
Hybrid Logic Meets IF Modal Logic
Journal of Logic, Language and Information
Terminating Tableau Systems for Hybrid Logic with Difference and Converse
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Prime implicates and prime implicants in modal logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Terminological reasoning in SHIQ with ordered binary decision diagrams
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
An extended interpreted system model for epistemic logics
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Embodied construction grammar as layered modal languages
ScaNaLU '06 Proceedings of the Third Workshop on Scalable Natural Language Understanding
Epistemic reasoning in logic programs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Strategic Ability Update: A Modal Logic Account
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
On the logic of cooperation and propositional control
Artificial Intelligence
Product of Graphs and Hybrid Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Which semantics for neighbourhood semantics?
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Knowing more: from global to local correspondence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Semantics and logic for security protocols
Journal of Computer Security
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
Tableaux and Model Checking for Memory Logics
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
An Algebraic Semantics for the Logic of Multiple-Source Approximation Systems
RSFDGrC '09 Proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
A Coalgebraic Perspective on Monotone Modal Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic of discovery and knowledge: decision algorithm
Intelligent Decision Technologies
Referring expressions as formulas of description logic
INLG '08 Proceedings of the Fifth International Natural Language Generation Conference
Conformant plans and beyond: Principles and complexity
Artificial Intelligence
MLAT: a tool for heap analysis based on predicate abstraction by modal logic
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Prime implicates and prime implicants: from propositional to modal logic
Journal of Artificial Intelligence Research
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
International Journal of Approximate Reasoning
Coping with shame and sense of guilt: a Dynamic Logic Account
Autonomous Agents and Multi-Agent Systems
A logic for authorization provenance
ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security
A theory of duration calculus with application
Domain modeling and the duration calculus
Hybrid logical analyses of the ambient calculus
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Free modal algebras: a coalgebraic perspective
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Bisimulation for neighbourhood structures
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
The goldblatt-thomason theorem for coalgebras
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Completeness and decidability in sequence logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Completeness for flat modal fixpoint logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Call-by-name and call-by-value in normal modal logic
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Controller/Orchestrator Synthesis via Filtration
Electronic Notes in Theoretical Computer Science (ENTCS)
A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Monadic Σ11 and Modal Logic with Quantified Binary Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Pillars of computer science
Axiomatization and completeness of lexicographic products of modal logics
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Generalized modal satisfiability
Journal of Computer and System Sciences
Characterising behavioural equivalence: three sides of one coin
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
A cooperation logic for declaration structures
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Epistemic games in modal logic: joint actions, knowledge and preferences all together
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Dynamic epistemic temporal logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
An update operator for strategic ability
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Modal expressivity and definability over sets
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Probability Logic of Finitely Additive Beliefs
Journal of Logic, Language and Information
A Dynamic Logic of Agency II: Deterministic $${\mathcal{DLA}}$$ , Coalition Logic, and Game Theory
Journal of Logic, Language and Information
On the logic of argumentation theory
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
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Cognitive binary logic - the natural unified formal theory of propositional binary logic
CI'10 Proceedings of the 4th WSEAS international conference on Computational intelligence
From cognitive binary logic to cognitive intelligent agents
INES'10 Proceedings of the 14th international conference on Intelligent engineering systems
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Reasoning about the transfer of control
Journal of Artificial Intelligence Research
Towards a theory of search queries
ACM Transactions on Database Systems (TODS)
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
Archive for Mathematical Logic
Deontics = betterness + priority
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Privacy policies with modal logic: the dynamic turn
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
A logical analysis of commitment dynamics
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Presenting functors on many-sorted varieties and applications
Information and Computation
Cut elimination in coalgebraic logics
Information and Computation
Bridges between dynamic doxastic and doxastic temporal logics
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Multi-agent belief revision with linked preferences
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
A note on assumption-completeness in modal logic
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Does treewidth help in modal satisfiability?
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Monitoring social expectations in second life
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Towards a logical model of social agreement for agent societies
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Entailment multipliers: an algebraic characterization of validity for classical and modal logics
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Formal parameters of phonology: from government phonology to SPE
ESSLLI'08/09 Proceedings of the 2008 international conference on Interfaces: explorations in logic, language and computation
Modal logic over higher dimensional automata
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Resource bisimilarity and graded bisimilarity coincide
Information Processing Letters
Resolution with Order and Selection for Hybrid Logics
Journal of Automated Reasoning
Prescriptive and descriptive obligations in dynamic epistemic deontic logic
AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
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
A logic for reasoning about counterfactual emotions
Artificial Intelligence
On the logic of preference and judgment aggregation
Autonomous Agents and Multi-Agent Systems
Intermediate Logics and the de Jongh property
Archive for Mathematical Logic
Relative expressive power of navigational querying on graphs
Proceedings of the 14th International Conference on Database Theory
A stochastic interpretation of propositional dynamic logic: expressivity
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Representations of Time within Normative MAS
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Correlated Information: A Logic for Multi-Partite Quantum Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Finite identification from the viewpoint of epistemic update
Information and Computation
Relationship-based access control: protection model and policy language
Proceedings of the first ACM conference on Data and application security and privacy
Supervaluationism and classical logic
ViC'09 Proceedings of the 2009 international conference on Vagueness in communication
The Quasi-lattice of Indiscernible Elements
Studia Logica
Reasoning about agent deliberation
Autonomous Agents and Multi-Agent Systems
On the failure of the finite model property in some Fuzzy Description Logics
Fuzzy Sets and Systems
Archive for Mathematical Logic
Logics for information systems and their dynamic extensions
ACM Transactions on Computational Logic (TOCL)
Canonical extensions and canonicity via dcpo presentations
Theoretical Computer Science
Coalgebraic logic over general measurable spaces ??? a survey
Mathematical Structures in Computer Science
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
Mathematical Structures in Computer Science
Equational presentations of functors and monads
Mathematical Structures in Computer Science
Relationship-based access control policies and their policy languages
Proceedings of the 16th ACM symposium on Access control models and technologies
Perfect recall of imperfect knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Sigma algebras in probabilistic epistemic dynamics
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Axiomatizing Hybrid Products of Monotone Neighborhood Frames
Electronic Notes in Theoretical Computer Science (ENTCS)
Basic model theory for memory logics
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Hybrid logics and NP graph properties
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Dynamic epistemic algebra with post-conditions to reason about robot navigation
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
A study on multi-dimensional products of graphs and hybrid logics
Theoretical Computer Science
Relating truth, knowledge and belief in epistemic states
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Using logic in the generation of referring expressions
LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Information systems and rough set approximations: an algebraic approach
PReMI'11 Proceedings of the 4th international conference on Pattern recognition and machine intelligence
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
Taming the complexity of linear time BDI logics
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Reasoning about local properties in modal logic
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Strategic games and truly playable effectivity functions
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Spectral and T0-spaces in d-semantics
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Boolean modal logic wK4Dyn: doxastic interpretation
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Intention change via local assignments
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Characterizing EF over infinite trees and modal logic on transitive graphs
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
A universally defined undecidable unimodal logic
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
The face of emotions: a logical formalization of expressive speech acts
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
NO Revision and NO Contraction
Minds and Machines
Towards legal privacy risk assessment and specification
TrustBus'11 Proceedings of the 8th international conference on Trust, privacy and security in digital business
On characterization, definability and ω-saturated models
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Studia Logica
On the fusion of coalgebraic logics
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Generalized product of coalgebraic hybrid logics
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
On the definability of simulability and bisimilarity by finite epistemic models
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
An application of model checking games to abstract argumentation
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Schematic validity in dynamic epistemic logic: decidability
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Mathematics of public announcements
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Logics of belief over weighted structures
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
An epistemic logic with hypotheses
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
An alternative logic for knowability
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Conditional ought, a game theoretical perspective
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Combining theories: the Ackerman and guarded fragments
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
The modal logic of equilibrium models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
The BMC method for the existential part of RTCTLK and interleaved interpreted systems
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Unsorted Functional Translations
Electronic Notes in Theoretical Computer Science (ENTCS)
Query Answering with DBoxes is Hard
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement Quantified Logics of Knowledge
Electronic Notes in Theoretical Computer Science (ENTCS)
A Logical Model of the Dynamics of Peer Pressure
Electronic Notes in Theoretical Computer Science (ENTCS)
Sequent calculi and decidability for intuitionistic hybrid logic
Information and Computation
A hybrid logic for commonsense spatial reasoning
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
A new n-ary existential quantifier in description logics
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Order of magnitude qualitative reasoning with bidirectional negligibility
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Modal logics of negotiation and preference
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Expressivity properties of Boolean BI through relational models
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Generalized modal satisfiability
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Beliefs in agent implementation
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A finite model construction for coalgebraic modal logic
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Presenting functors by operations and equations
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Further study of the fuzzy reasoning based on propositional modal logic
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Epistemic actions and ontic actions: a unified logical framework
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Trust in LORA: towards a formal definition of trust in BDI agents
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Presburger modal logic is PSPACE-Complete
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Algebras as knowledge structures
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Verifying multi-agent systems via unbounded model checking
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
The topological effect of improving knowledge acquisition
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Proof complexity of non-classical logics
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
A complete temporal and spatial logic for distributed systems
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Sahlqvist theorem for modal fixed point logic
Theoretical Computer Science
Computational universality in symbolic dynamical systems
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Duality for logics of transition systems
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Commonsense spatial reasoning for context–aware pervasive systems
LoCA'05 Proceedings of the First international conference on Location- and Context-Awareness
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
The expressive power of restricted fragments of english
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
Ultrafilter extensions for coalgebras
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
A logic-based approach to cache answerability for XPath queries
XSym'06 Proceedings of the 4th international conference on Database and XML Technologies
The cantor space as a generic model of topologically presented knowledge
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
Monotone predicate transformers as up-closed multirelations
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
Hyperfinite approximations to labeled markov transition systems
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
The complexity of model checking concurrent programs against CTLK specifications
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Investigating finite models of non-classical logics with relation algebra and RELVIEW
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
An easy completeness proof for the modal µ-calculus on finite trees
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Coalgebraic correspondence theory
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Terminating tableaux for hybrid logic with eventualities
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Assertions, conditionals, and defaults
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Strongly complete axiomatizations of “knowing at most” in syntactic structures
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
A rule language for modelling and monitoring social expectations in multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Argumentation in the view of modal logic
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Local properties in modal logic
Artificial Intelligence
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Finite-valued Lukasiewicz modal logic Is PSPACE-complete
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Modeling attempt and action failure in probabilistic stit logic
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
Type-based detection of XML query-update independence
Proceedings of the VLDB Endowment
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Studia Logica
Sahlqvist Correspondence for Modal mu-calculus
Studia Logica
Weak models of distributed computing, with connections to modal logic
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
A dynamic logic for privacy compliance
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Some Modifications of Carnap's Modal Logic
Studia Logica
Studia Logica
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
The importance of the past in interval temporal logics: the case of propositional neighborhood logic
Logic Programs, Norms and Action
Symbolic model checking for temporal-epistemic logic
Logic Programs, Norms and Action
GOAL agents instantiate intention logic
Logic Programs, Norms and Action
Bounded model checking for the existential part of real-time CTL and knowledge
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
A logic of revelation and concealment
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Dualities for Algebras of Fitting's Many-Valued Modal Logics
Fundamenta Informaticae - Logic, Language, Information and Computation
Automated verification of recursive programs with pointers
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Proof complexity of non-classical logics
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
Countermodels from Sequent Calculi in Multi-Modal Logics
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
The Complexity of Decomposing Modal and First-Order Theories
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Decidable Elementary Modal Logics
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Decidability of Downward XPath
ACM Transactions on Computational Logic (TOCL)
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
A computationally grounded dynamic logic of agency, with an application to legal actions
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Towards a generalization of modal definability
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
A modal logic for abstract delta modeling
Proceedings of the 16th International Software Product Line Conference - Volume 2
A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n
Fundamenta Informaticae
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Foundations of Modal Deductive Databases
Fundamenta Informaticae
On the relative succinctness of two extensions by definitions of multimodal logic
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Modal Logics for Region-based Theories of Space
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Fundamenta Informaticae
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
A Modal Characterization of Nash Equilibrium
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
The Nondeterministic Information Logic NIL is PSPACE-complete
Fundamenta Informaticae
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
Electronic Notes in Theoretical Computer Science (ENTCS)
A PDL-like logic of knowledge acquisition
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Modular algorithms for heterogeneous modal logics
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Information Processing Letters
Rough set analysis of relational structures
Information Sciences: an International Journal
Complexity Results of STIT Fragments
Studia Logica
Knowledge means ‘all', belief means ‘most'
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
The complexity of one-agent refinement modal logic
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Minimal proof search for modal logic k model checking
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Global view on reactivity: switch graphs and their logics
Annals of Mathematics and Artificial Intelligence
Strategic games and truly playable effectivity functions
Autonomous Agents and Multi-Agent Systems
Combinations of normal and non-normal modal logics for modeling collective trust in normative MAS
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
International Journal on Semantic Web & Information Systems
Reasoning About Agent Types and the Hardest Logic Puzzle Ever
Minds and Machines
Some sahlqvist completeness results for coalgebraic logics
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Probabilistic stit logic and its decomposition
International Journal of Approximate Reasoning
On the succinctness of some modal logics
Artificial Intelligence
Decidability for justification logics revisited
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Coalgebraic predicate logic: equipollence results and proof theory
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP
Proceedings of the 32nd symposium on Principles of database systems
Non-finite axiomatizability of dynamic topological logic
ACM Transactions on Computational Logic (TOCL)
Does Treewidth Help in Modal Satisfiability?
ACM Transactions on Computational Logic (TOCL)
Journal of Logic, Language and Information
Relational abstraction in community-based secure collaboration
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
AT'13 Proceedings of the Second international conference on Agreement Technologies
Reasonably rational: reasoning about reasons behind preferences using modal logic
AT'13 Proceedings of the Second international conference on Agreement Technologies
Preference logic of focus change: a semantic approach
AT'13 Proceedings of the Second international conference on Agreement Technologies
Parametric completeness for separation theories
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
An alternative axiomatization of DEL and its applications
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Multi-agent subset space logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Multi-agent epistemic explanatory diagnosis via reasoning about actions
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
Adaptive Logic as a Modal Logic
Studia Logica
An update logic for information systems
International Journal of Approximate Reasoning
IF Modal Logic and Classical Negation
Studia Logica
Studia Logica
Beth definability in expressive description logics
Journal of Artificial Intelligence Research
The Logic of Exact Covers: Completeness and Uniform Interpolation
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Arbitrary Action Model Logic and Action Model Synthesis
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Logic-based Reasoning Support for SBVR
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
| Hi-index | 0.01 |