• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 80 matches

• 2024
• 
  Petr Cintula, George Metcalfe, Naomi Tokuda:
  One-variable Fragments of First-order Logics. Bull. Symb. Log. 30(2): 253-278 (2024)
• 
  Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi:
  Deciding Equations in the Time Warp Algebra. Log. Methods Comput. Sci. 20(1) (2024)
• 
  Line van den Berg, Manuela Busaniche, Miguel Andrés Marcos, George Metcalfe:
  Towards an Algebraic Theory of KD45-Like Logics. AiML 2024: 171-186
• 
  George Metcalfe, Thomas Studer, Ruy J. G. B. de Queiroz:
  Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings. Lecture Notes in Computer Science 14672, Springer 2024, ISBN 978-3-031-62686-9 [contents]
• 2023
• 
  George Metcalfe, Luca Reggio:
  Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. J. Symb. Log. 88(1): 381-417 (2023)
• 
  Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi:
  Deciding Equations in the Time Warp Algebra. CoRR abs/2302.04668 (2023)
• 
  Wesley Fussner, George Metcalfe, Simon Santschi:
  Interpolation and the Exchange Rule. CoRR abs/2310.14953 (2023)
• 2022
• 
  Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt:
  One-variable fragments of intermediate logics over linear frames. Inf. Comput. 287: 104755 (2022)
• 
  George Rossides, Alan Hunter, Benjamin Metcalfe:
  Source Localisation Using Wavefield Correlation-Enhanced Particle Swarm Optimisation. Robotics 11(2): 52 (2022)
• 
  George Metcalfe, Naomi Tokuda, Petr Cintula:
  Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML 2022: 237-258
• 
  Petr Cintula, George Metcalfe, Naomi Tokuda:
  Algebraic semantics for one-variable lattice-valued logics. CoRR abs/2209.08566 (2022)
• 2021
• 
  George Rossides, Benjamin Metcalfe, Alan Hunter:
  Particle Swarm Optimization - An Adaptation for the Control of Robotic Swarms. Robotics 10(2): 58 (2021)
• 
  Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi:
  Time Warps, from Algebra to Algorithms. RAMiCS 2021: 309-324
• 
  Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi:
  Time Warps, from Algebra to Algorithms. CoRR abs/2106.06205 (2021)
• 2020
• 
  José Gil-Férez, Frederik Möllerström Lauridsen, George Metcalfe:
  Integrally Closed Residuated Lattices. Stud Logica 108(5): 1063-1086 (2020)
• 
  George Metcalfe, Olim Frits Tuyt:
  A Monadic Logic of Ordered Abelian Groups. AiML 2020: 441-457
• 2019
• 
  Tomasz Kowalski, George Metcalfe:
  Uniform interpolation and coherence. Ann. Pure Appl. Log. 170(7): 825-841 (2019)
• 
  Petr Cintula, Denisa Diaconescu, George Metcalfe:
  Skolemization and Herbrand theorems for lattice-valued logics. Theor. Comput. Sci. 768: 54-75 (2019)
• 
  Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley:
  Checking Admissibility Using Natural Dualities. ACM Trans. Comput. Log. 20(1): 2:1-2:19 (2019)
• 
  Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt:
  The One-Variable Fragment of Corsi Logic. WoLLIC 2019: 70-83
• 2018
• 
  Michel Marti, George Metcalfe:
  Expressivity in chain-based modal logics. Arch. Math. Log. 57(3-4): 361-380 (2018)
• 
  Denisa Diaconescu, George Metcalfe, Laura Schnüriger:
  A Real-Valued Modal Logic. Log. Methods Comput. Sci. 14(1) (2018)
• 
  Tomasz Kowalski, George Metcalfe:
  Coherence in Modal Logic. Advances in Modal Logic 2018: 459-472
• 
  Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer:
  Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. College Publications 2018, ISBN 978-1-84890-255-8 [contents]
• 2017
• 
  Samuel J. van Gool, George Metcalfe, Constantine Tsinakis:
  Uniform interpolation and compact congruences. Ann. Pure Appl. Log. 168(10): 1927-1948 (2017)
• 
  Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger:
  Decidability of order-based modal logics. J. Comput. Syst. Sci. 88: 53-74 (2017)
• 
  George Metcalfe, Constantine Tsinakis:
  Density revisited. Soft Comput. 21(1): 175-189 (2017)
• 
  Almudena Colacito, George Metcalfe:
  Proof Theory and Ordered Groups. WoLLIC 2017: 80-91
• 
  Denisa Diaconescu, George Metcalfe, Laura Schnüriger:
  A Real-Valued Modal Logic. CoRR abs/1706.02854 (2017)
• 2016
• 
  Nikolaos Galatos, George Metcalfe:
  Proof theory for lattice-ordered groups. Ann. Pure Appl. Log. 167(8): 707-724 (2016)

skipping 50 more matches