Search


 
Issue Title
 
Vol 27, No 2 (2018): June On Displaying Negative Modalities Abstract  PDF
Sergey Drobyshevich
 
Vol 18, No 1 (2009) Decidability of mereological theories Abstract  PDF
Hsing-chien Tsai
 
Vol 20, No 3 (2011) More on the decidability of mereological theories Abstract  PDF
Hsing-chien Tsai
 
Vol 22, No 3 (2013): September Finitely inseparable first-order axiomatized mereotopological theories Abstract  PDF
Hsing-chien Tsai
 
Vol 17, No 1-2 (2008) Discrete linear temporal logic with current time point clusters, deciding algorithms Abstract  PDF
V. Rybakov
 
Vol 18, No 2 (2009) Temporal non-commutative logic: Expressing time, resource, order and hierarchy Abstract  PDF
Norihiro Kamide
 
Vol 20, No 1-2 (2011) Propositions, possible worlds, and recursion Abstract  PDF
Andrzej Wiśniewski
 
Vol 22, No 2 (2013): June Special Issue on point-free geometry and topology. An introduction Abstract  PDF
Cristina Coppola, Giangiacomo Gerla
 
1 - 8 of 8 Items

Search tips:

  • Search terms are case-insensitive
  • Common words are ignored
  • By default only articles containing all terms in the query are returned (i.e., AND is implied)
  • Combine multiple words with OR to find articles containing either term; e.g., education OR research
  • Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
  • Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
  • Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
  • Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"



Partnerzy platformy czasopism